Simon Mirwasser

I am a PhD student, since september 2022, supervised by Marie Kerjean and Stefano Guerrini.
Member of 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

Papers

Talks

Research internships

Before the begininng of my PhD, I did a few reseach internships :

Teaching

2024-2025 :

2023-2024 :

2022-2023 :

Contact information