Completed a postdoc project on protocol security with Alwen Tiu at the Australian National University.
Education
PhD from the Australian National University, supervised by Dirk Pattinson, with a thesis titled 'Dualities for Modal Logic'. Bachelor and Master in Mathematics from the University of Amsterdam.
Background
Research interests include non-classical modal logics, model theory, duality theory, and bisimulations. He is a postdoc at the University of Bern, supervised by George Metcalfe.