[fr] [en]

Thibaut Antoine

À propos de moi

Je suis étudiant en thèse sous la direction de David Baelde, dans l'équipe SPICY au laboratoire de l'IRISA Rennes.

J'effectue principalement de la recherche en logique appliquée à la cryptographie, en particulier sur les fondements logiques de l'assistant de preuve Squirrel.

Je suis plus largement intéressé par la logique en général et la théorie de la preuve, la théorie des catégories, et certains sous domaines de l'algèbre.

Mon CV en français | anglais.

Publications

Une liste complète de mes publications se trouve sur DBLP.

• [2025] A Complete Diagrammatic Calculus for Automata Simulation.
  Thibaut Antoine, Robin Piedeleu, Alexandra Silva et Fabio Zanasi. CSL 2025 [article]
  
  
• [2025] Propositional Logics of Overwhelming Truth.
  Thibaut Antoine, David Baelde. CSL 2025 [article] [slides]
  
  

Enseignement

En 2025-2026, je suis chargé de TD pour des cours à l'université de Rennes :

• LF (Langages formels) en L3 informatique. Responsable : Sophie Pinchinat.
  
• LOG (Logique) en L3 informatique. Responsable : Guillaume Aucher.
  
• MVFA (Modélisation et Vérification Formelle par Automates) au M1 SIF. Responsable : Sophie Pinchinat.
  

J'interviens aussi dans la préparation à l'agrégation d'informatique de l'ENS Rennes.

Autres

Projets

Je suis l'auteur d'un script python permettant d'obtenir un graphe d'interconnexion entre ses amis discord.

Poésie

Certaines de mes productions.

• [06/2023] Inflexions.
  Micro-recueil de six poèmes d'amour à propos d'une relation passée. [PDF]
  
  
• [02/2022] Fleurs.
  Micro-recueil de six poèmes à propos de fleurs. [PDF]
  
  
• Poemktober.
  Un poème pour chaque thème de l'inktober. [2021] [2023]
  

Quelques références.

• Poésie verticale de Roberto Juarroz, auteur argentin.
  
• Quelque chose noir de Jacques Roubaud, auteur français membre de l'Oulipo.
  
• Oeuvres d'Alejandra Pizarnik, autrice argentine.
  
• Matthieu Gaines, ami et auteur talentueux.
  

Contact

Email : thibaut [dot] antoine [at] irisa [dot] fr
Git : https://github.com/Aznkad
Adresse : Bureau F405 IRISA, Campus de Beaulieu, 263 avenue du Général Leclerc, 35 042 RENNES cedex, France