[fr] [en]

Thibaut Antoine

About me

I am a PhD student under the supervision of David Baelde, in team SPICY at IRISA (Rennes, France).

I am mainly doint research in logic applied to cryptography. I am working in particular on the logic foundations of the Squirrel proof assistant.

I'm more broadly interested by the topics of logic in general and proof theory, category theory, and some sub-domains of algebra.

My CV in french | enghlish.

Publications

You may find a complete list of my publications on 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]
  
  

Teaching

In 2025-2026, I am a teaching assistant for some courses at the université de Rennes:

• LF (Formal languages) in the L3 computer science cursus. Teacher: Sophie Pinchinat.
  
• LOG (Logic) in the L3 computer science cursus. Teacher: Guillaume Aucher.
  
• MVFA (Modelling and Formal Verification with Automata) in the M1SIF cursus. Teacher: Sophie Pinchinat.
  

I'm also intervening at the préparation à l'agrégation d'informatique in ENS Rennes.

Other

Projects

I authored a python script generating a graph of one's discord friends, where two friends are connected when they are also each other friends.

Poetry

Some of my work.

• [06/2023] Inflexions.
  Small collection of poems about a past relationship. (In french) [PDF]
  
  
• [02/2022] Fleurs.
  Small collection of poems about flowers. [PDF]
  
  
• Poemktober.
  One poem for each inktober theme, in october. [2021] [2023]
  

A few references.

• Poésie verticale by Roberto Juarroz, an argentinian poet.
  
• Quelque chose noir by Jacques Roubaud, a french author and member of the Oulipo.
  
• Oeuvres by Alejandra Pizarnik, an argentinian author.
  
• Matthieu Gaines, a friend and talented poet.
  

Contact

Email : thibaut [dot] antoine [at] irisa [dot] fr
Git : https://github.com/Aznkad
Physical address : Office F405 IRISA, 263 avenue du Général Leclerc, 35042 RENNES cedex.