|
Je suis chercheur et enseignant, travaillant à l'intersection de la logique,
des mathématiques et de l'informatique.
Depuis juillet 2023, je suis chercheur à l'Institut d'informatique de l'Académie tchèque des sciences, où je suis membre du groupe LogiCS. Avant de venir à Prague, j'ai été postdoctorant avancé à l'Institut de Mathématiques de l'Université de Berne dans le groupe de logique du George Metcalfe. Aussi, de janvier 2019 à septembre 2021, j'ai été post-doctorant au CNRS et à l'Université Côte d'Azur en tant que membre du projet European Research Council Duality in Formal Languages and Logic de Mai Gehrke. J'ai obtenu mon doctorat en novembre 2018 à l'Université de Denver, où Nick Galatos était mon directeur de thèse. |
News
- Mon article "Interpolation and the Exchange Rule" (avec George Metcalfe et Simon Santschi) est maintenant disponible sur arXiv.
- J'ai récemment présenté à MOSAIC 2023 à Vienne, en Autriche. Vous pouvez trouver les diapositives de mon exposé ici.
- Mon article "Interpolation in Linear Logic and Related Systems" (avec Simon Santschi) est maintenant disponible sur arXiv.
- J'ai été conférencier invité à CLoCk 2023 à Cracovie, en Pologne. Vous pouvez télécharger les diapositives de mon exposé ici.
- J'ai présenté un exposé à RAMiCS 2023 à Augsbourg, en Allemagne. Vous pouvez télécharger les diapositives de mon exposé here.
- Avec Willem Conradie, j'ai coordonné l'école de recherche LIACT soutenue par le CIMPA à Johannesburg, en Afrique du Sud.
Événements passés et archives
- Mon article avec Nick Galatos intitulé Conic idempotent residuated lattices est désormais disponible sur arXiv.
- J'ai récemment participé et présenté un exposé à Advances in Modal Logic 2022 à Rennes, en France. Vous pouvez télécharger les diapositives de mon exposé ici.
- J'ai récemment participé à Federated Logic Conference 2022 à Haifa, en Israël, et j'ai présenté un exposé à Fourth Workshop on Interpolation. Vous pouvez télécharger les diapositives de mon exposé ici.
- J'étais orateur plénier à BLAST 2022 à Orange, en Californie, aux Etats-Unis. Mes diapositives sont disponibles ici.