🏠 Home

Where things happen
Aliaume Lopez in CeNT, Warsaw, 2024. Photo by Omid Yaghoubi.
This is me.

Aliaume Lopez in CeNT Warsaw by Omid Yaghoubi is licensed under CC BY-SA 4.0

Theoretical Computer Scientists for Future

🇬🇧 English Speaking Part

I am a postdoctoral researcher at the University of Warsaw under the supervision of Mikołaj Bojańczyk. Before that I was a PhD student at the LSV and at IRIF under the supervision of Jean Goubault-Larrecq and Sylvain Schmitz. My thesis received the E. W. Beth Award 2024 for the best thesis in logic, and the Ackermann Award 2024 for the best thesis in theoretical computer science.

My research interests are in Logic, Finite Model Theory, Automata Theory, and Topology. You can find my publications on DBLP and on ORCID, and my full list of published and unpublished documents, talks and reports on the publication page of this website. For a more detailed view of my research activities, you can check my curriculum vitae.

My latest research activity is listed below. I also include slides of talks, arXiv preprints and other documents, because I believe that all research should be open and accessible.

Note that the rest of this website is in French. Because I am French, and there are already plenty of English-speaking websites out there.

🧜‍♀️ Direction Varsovie

J’ai commencé mi-octobre 2023 un contrat postdoctoral à l’Université de Varsovie sous la direction de Mikołaj Bojańczyk. Je continue pour l’année scolaire 2024—2025 dans la même équipe.

🔬 Recherche

1.

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é.

2.

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.

📁 Billets de Blog

3.

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

…et vous pouvez en trouver plus à cette adresse.

🎬 Encart Publicitaire

📄 Je maintiens un dépôt de citations utiles pour l’informatique théorique en général, avec une page web statique associée.

🎉 J’ai reçu le prix de thèse E. W. Beth 2024, qui récompense chaque année une thèse en logique, ainsi que le prix de thèse Ackermann qui récompense une thèse en informatique théorique. Plus d’informations sur le billet de blog pour Beth, et sur le billet de blog pour Ackermann.

🏋️‍♂️ J’ai co-organisé avec Marie Fortin et Chana Weil-Kennedy le Workshop Autobóz qui a eu lieu du 14 au 20 Juillet à Keibu en Estonie.

📽️ 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).

  1. 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é.↩︎

  2. Comme tout bon laboratoire d’informatique, la page vous indique naturellement un certificat SSL invalide.↩︎

  3. 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…↩︎