Jurriaan Rot

Exploring a framework connecting coalgebra, modal logics, and fixpoint logics.

A new method improves efficiency in understanding complex systems through adaptive learning.

Exploring how states relate through games in computer science.