Alexis Goyet

I am a PhD student in the PPS laboratory of University Paris Diderot (Paris 7). My advisor is Pierre-Louis Curien.

Contact me

Email: alexis.goyet at pps.univ-paris-diderot.fr

Office: 3033
PPS - Université Paris 7
Bâtiment Sophie Germain
8 Place FM/13
75013 Paris
Tel: (+33) 1 57 27 92 43

Research Interests

I am interested in game semantics, languages and model checking.

PhD Thesis

Date of defense: December 11, 2013 [pdf].

Publications

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.

Talks

GaLop V, Games for Logic and Programming Languages
Dagsthul seminar 10252, Game Semantics and Program Verification
slides, from a more recent presentation.

Teaching

Logic, 3rd year: Logique (LO6).
Html/CSS/PHP/MySQL, 1st year: Internet et outils (IO2).

Teaching (previous years)

Java, 1st year: Introduction à l'informatique et à la programmation (IF1).
Ressources (in french).