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 Johannes Marti.

My research is part of the project Proof Systems for Modal Fixpoint Logics. The main objective 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.

My email address is j.m.w.rooduijn[at]uva[dot]nl.