Patrick GARDY

PhD Student (ERC Equallis)

Phd student under the supervision of Patricia Bouyer and Nicolas Markey, i am working on extension of multi agents temporal logics. A curriculum vitae and a research statement are available here and here.

I will defend my thesis the 12 June 2017, information can be found on this page.


I am currently studying semantics related problems of Strategy Logic (SL for short) and its fragments. SL is a rich formalism used to express multi-objectives temporal properties of multi-agents systems. Small modifications in SL semantics have a far reaching impact on the expressiveness of the logic and its complexity. I am trying to outline the different modifications and study their repercussion. A preprint version of our work (with my advisers) is available here.


All my teaching is done at IUT de Cachan:


A (non exhaustive) list of talks (slides include) are available here.


I have a master degree in mathematics ("Logique mathématiques et fondements de l'informatique") from Paris-Diderot 7 university and a licence of applied mathematics ("mathématiques et applications") from Paris-Sud 11 university. My master's research internship was on disproportionate picture languages under the supervision of Etienne GrandJean (GREYC -Caen). The manuscript (in french) is available here.

About LSV


Patrick GARDY
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
+33 (0)1 47 40 75 33
+33 (0)1 47 40 75 21
+33 (0)1 47 40 75 20

Recent Publications

All the publications

P. GardySemantics of Strategy Logic.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2017. BibTeX )
P. Bouyer, P. Gardy and N. MarkeyOn the semantics of Strategy LogicInformation Processing Letters 116(2), pages 75-79, February 2016. PDF | BibTeX )
P. Bouyer, P. Gardy and N. MarkeyWeighted strategy logic with boolean goals over one-counter gamesIn FSTTCS'15, Leibniz International Proceedings in Informatics 45, pages 69-83. Leibniz-Zentrum für Informatik, December 2015. PDF | PDF (long version) | BibTeX )
P. Bouyer, P. Gardy and N. MarkeyQuantitative verification of weighted Kripke structuresIn ATVA'14, LNCS 8837, pages 64-80. Springer, November 2014. PDF | PDF (long version) | BibTeX )

All the publications