Jurriaan Rot

Esplorando un framework che collega la coalgebra, le logiche modali e le logiche dei punti fissi.

Un nuovo metodo migliora l'efficienza nella comprensione di sistemi complessi attraverso l'apprendimento adattivo.

Esplorando come gli stati si relazionano attraverso i giochi nella informatica.