Jan Rooduijn
Jan Rooduijn

I am a researcher at the Dutch government's National Cyber Security Centre. Prior to this, I was 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 PhD research was 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 over 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 academic work.

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