I am a PhD student in the PPS laboratory of University Paris Diderot (Paris 7). My advisor is Pierre-Louis Curien.
Email: alexis.goyet at pps.univ-paris-diderot.fr
PPS - Université Paris 7
Bâtiment Sophie Germain
8 Place FM/13
Tel: (+33) 1 57 27 92 43
- I am interested in game semantics, languages and model checking.
Date of defense: December 11, 2013 [pdf].
- The lambda lambda-bar calculus: A dual calculus for unconstrained strategies [pdf], [slides]
in POPL 2013.
- Decidability and undecidability results on the modal mu-calculus with a natural number-valued semantics [pdf]
With Masami Hagiya and Yoshinori Tanabe
In WOLLIC 2010.
Logic, 3rd year: Logique (LO6).
Html/CSS/PHP/MySQL, 1st year: Internet et outils (IO2).
Teaching (previous years)