I am a PhD student at the Laboratoire J.-A. Dieudonné (Nice) since 2020. My advisor is Mai Gehrke and the title of my thesis is 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 wrote:
You can contact me at contact@jeremie-marques.name.