ILLC, University of Amsterdam

j.m.w.rooduijn (at) uva.nl

I am a PhD candidate at the University of Amsterdam’s Institute of Logic, Language and Computation, working under the supervision of Yde Venema and Bahareh Afshari.

My research is part of the project Proof Systems for Modal Fixpoint Logics. The main goal of my PhD project is to develop proof systems for modal fixpoint logics interpreted on various classes of frames.

I have a broad interest in mathematical logic and theoretical computer science and try to employ techniques from (co)algebra, automata theory and category theory in my work.