I am a post-doc supervised by Sam van Gool at IRIF. I am interested in categorical logic and Stone duality.
I was previously a PhD student of Mai Gehrke, from 2020 to 2023. My thesis is titled Categorical logic from the perspective of duality and compact ordered spaces. The main topic is an extension of (first-order) coherent and intuitionistic logic obtained topologically by replacing Priestley spaces by compact ordered spaces.
Articles I have written:
You can contact me at contact@jeremie-marques.name.