CV
You can also download the pdf version (in French, updated June 2025).
Education
- Ph.D in Computer Science, Université Sorbonne Paris Nord, 2025 - Present.
- Masters Degree in Computer Science, Ecole Normale Supérieure, Paris, 2024.
- Bachelor Degree in Computer Science, Ecole Normale Supérieure, Paris, 2021.
Research experience
- Spring 2025: Schedule Types: Graded Types and Dependent Types
- LIPN - Université Sorbonne Paris-Nord - Equipe LoCal (ex- LoVe)
- Five month research internship
- Supervisor: Flavien Breuvart
- Fall 2024: Towards an indexed semantics for concurrent separation logic
- LIPN - Université Sorbonne Paris-Nord - Equipe LoVe
- Five month research internship
- Supervisor: Flavien Breuvart
- Spring 2024: Modeling a dependent type theory through sequential algorithms
- LMF - Ecole Normale Supérieure Paris-Saclay - Deducteam
- FIve month masters internship
- Supervisor: Valentin Blot
- Spring 2022: Relating structure and power : developments on game comonads
- University College London, Programming principles, logic and verification group
- Four month M1 internship
- Supervisor: Samson Abramsky
- Summer 2021: Study of a variation logics
- LORIA - Université de Lorraine - Equipe K
- Two month bachelor intership
- Supervisor: Jean Lieber
Publications
Une logique pour représenter des variations propositionnelles
Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles. Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11. ⟨hal-04268839⟩
Talks
Game comonads for existential and positive equivalence
Seminar at Laboratoire d'Informatique de Paris Nord, Villetaneuse, France