Alexis Goyet

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

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).

Links

• PPS