🏠 Home
Where things happen
🧜♀️ Direction Varsovie
Je vais commencer mi octobre un contrat postdoctoral à l’Université de Varsovie sous la direction de Mikołaj Bojańczyk.
🔬 Recherche
Qui est devenu le LMF par la suite, tout comme l’Université Paris-Diderot, est devenue successivement l’Université de Paris, puis l’Université Paris Cité.
Comme tout bon laboratoire d’informatique, la page vous indique naturellement un certificat SSL invalide.
Je suis docteur en informatique depuis septembre 2023. Ma thèse s’est déroulée au LSV1122 et à l’IRIF sous la direction de Jean Goubault-Larrecq et Sylvain Schmitz.
Mes intérêts sont en Logique, Modèles des langages de programmation, Calculabilité, Complexité et Catégories. Mes publications sont disponibles sur ma page DBLP et sur mon profil ORCID.
Vous trouverez ci-après mes trois dernières activités de recherche, et vous pourrez trouver la liste complète de mes publications, exposés et rapports à cette adresse.
Compositional Techniques for Preservation Theorems over Classes of Finite Structures. — 2023
Talk at the BOREAL seminar of LIRMM.
The Łos-Tarski theorem and locality. — 2023
Talk at the automata seminar of MIMUW.
\(\mathbb{Z}\)-polyregular functions. — 2023
Published at LICS’23.
📁 Billets de Blog
Vous y trouverez assez peu de réflexions en terme de recherche, les billets sont généralement en Français, et plutôt dédiés à des tentatives sur les domaines suivants : écriture de documents, gestion des liens, traitement de fichiers CSV, utilisation de logiciels…
Voici une liste de mes derniers posts :33
Localité et théorèmes de préservation – 16-11-2023
Fonctions Z-polyrégulières – 15-11-2023
Points Fixes et Topologies Nœthériennes – 14-11-2023
…et vous pouvez en trouver plus à cette adresse.
🎬 Encart Publicitaire
Avec Arthur Jaquard et Alexandra Rogova, j’ai été co-organisateur du séminaire automates qui a lieu tous les vendredis (ou presque) à 14h à l’IRIF en salle 3052. Les séminaires sont accessibles sur Zoom, et les enregistrements sont disponibles (il suffit de demander).
Qui est devenu le LMF par la suite, tout comme l’Université Paris-Diderot, est devenue successivement l’Université de Paris, puis l’Université Paris Cité.↩︎
Comme tout bon laboratoire d’informatique, la page vous indique naturellement un certificat SSL invalide.↩︎
Vous y trouverez assez peu de réflexions en terme de recherche, les billets sont généralement en Français, et plutôt dédiés à des tentatives sur les domaines suivants : écriture de documents, gestion des liens, traitement de fichiers CSV, utilisation de logiciels…↩︎