I have been a postdoctoral researcher since April 2026 with Michele Pagani in the team Plume at LIP.
Before this, I did my PhD, supervised by Marie Kerjean and Stefano Guerrini in the LoVe team in the LIPN laboratory, at Université Sorbonne Paris Nord.
Here you can find my [CV].
I am mainly interested in the relation between mathematics and computer science through logic, and more precisely the Curry-Howard-Lambek correspondance.
I have worked on various topics such as (differential) linear logic, game semantics and realizability theory.
Research activities
Thesis
-
Indexing differential linear logic with differential operators
[manuscript | slides]
Papers
-
How grading and differentiating lead to determinism and discreteness
Submitted.
[preprint] -
Double indexed differential linear logic reconciling resources and differential operators
with Marie Kerjean, Submitted.
[preprint] -
Unifying graded linear logic and differential operators (long version)
with Flavien Breuvart and Marie Kerjean, at LMCS, Volume 22, Issue 1 (invited after FSCD 2023)
[paper | LMCS | Arxiv version] -
Unifying graded linear logic and differential operators
with Flavien Breuvart and Marie Kerjean, at FSCD 2023.
[paper | FSCD | HAL version]
Talks
- Double indexed differential linear logic reconciling resources and differential operators
- Graded differential linear logic: can we go higher-order?
- Indexed differential linear logic and Laplace transform
- Unifying graded linear logic and differential operators
Research internships
Before the begininng of my PhD, I did a few reseach internships :- Quantitative semantics for event structures (2022), supervised by Glynn Winskel and Chris Heunen.
[report] - An indexed differential linear logic (2021), supervised by Marie Kerjean and Flavien Breuvart.
[report] - A category of implicative algebras (2020), supervised by Alexandre Miquel, Etienne Miquey and Valentin Blot.
[report] - Transitivité et minimalité des machines de Turing (2019), supervised by Nicolas Ollinger.
[report]
Teaching
2024-2025 :
- TP d'UNIX (L1)
- TD de spécification algébrique (L2)
- TP de programmation web (L1)
2023-2024 :
- TD-TP de programmation en C (L1)
- TD de logique (L1)
- TP de programmation web (L1)
2022-2023 :
- TP de bases de données (L3)
- TD de programmation en C (L1)
- TD de logique (L1)
- TP de programmation en OCaml (L3)
Contact information
- Email : simon.mirwasser [at] ens-lyon.fr
- Adress : Office M7 311 - LIP - 46 All. d'Italie, 69007 Lyon