Navigation menu menu

Jim de Groot

PhD Student
Hanna Neumann Blg (145)

Most of my life I've lived in Amsterdam. I studied maths at the University of Amsterdam. After my master's there I moved to Australia to do a PhD under the supervision of Dirk Pattinson.

Roughly, I am interested in categorical dualities in logic. Here are some more specific questions I sometimes think about.

  • In our recent paper Dirk and I proposed the idea of dialgebraic logic, which provide a coalgebra-like framework for modal logics. All examples we gave are modal extensions of intuitionistic logics. I'm wondering if there are more logical paradigms that fit the framework of dialgebraic logic.
  • Yosida duality is a duality for compact Hausdorff spaces with certain Riesz spaces. I'm curious if there is a natural description of the Yosida dual of the Vietoris functor and whether this gives rise to an interesting modal logic. (The Vietoris functor is of course well known from its appearance in modal logic over a classical base.)
  • More to come

Submitted

Accepted

Reviews

I have (sub)reviewed papers for the following conferences and journals.

Journals

  • Logic Journal of the IGPL
  • Mathematical Logic Quarterly

Conferences

  • LICS 2021
  • MFPS 37
  • RAMiCS 2021

Program committee

I'm on the program committee of:

  • TbiLLC 2022

Updated:  10 August 2021/Responsible Officer:  Head of School/Page Contact:  CECS Webmaster