Hi, my name is Jim.

I'm a postdoc at the University of Bern, supervised by George Metcalfe. I like work on non-classical modal logics, including their model theory, duality theory and bisimulations.

Before starting this postdoc, I did a postdoc with Alwen Tiu at the Australian National University, working on a project about protocol security. My PhD was supervised by Dirk Pattinson, also at the Australian National University. My PhD thesis is titled "Dualities for Modal Logic".

I did a bachelor and master in mathematics at the University of Amsterdam.