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.

Research

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.

Teaching

All my teaching is done at IUT de Cachan:

Talks

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

Study

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

Contact

Patrick GARDY
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Phone
+33 (0)1 47 40 75 33
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
gardy@lsv.ens-cachan.fr

Recent Publications

All the publications

P. Gardy, P. Bouyer and N. MarkeyDependences in Strategy Logic.  Research Report 1708.05849, Computing Research Repository, August 2017. 30 pages. PDF | BibTeX )
P. GardySemantics of Strategy Logic.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2017. Web page | PDF | 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