Amélie Gheerbrant
 
I am an assistant professor (maître de conférence) in the department of Computer Science at the University Paris Diderot, in the Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA). My interests include logic (in particular, model theory, modal and temporal logics, automata and languages, logic and games, proof theory) and data management (XML data, graph data, incomplete information, data interoperability, constraints). I did my PhD (2007-2010) in Amsterdam at the ILLC under the supervision of Johan van Benthem and Balder ten Cate. I also did a postdoc (2010-2013) at the Laboratory for Foundations of Computer Science at the University of Edinburgh under the supervision of Leonid Libkin.

Publications
 
Events

Projects

Teaching / Enseignement (2016-2017)

Teaching / Enseignement (2015-2016)

Teaching / Enseignement (2014-2015)

Teaching / Enseignement (2013-2014)

D.I.Y. Music / Art / Friends

Contact details

Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS UMR 7089, Université Denis Diderot - Paris 7, Case 7014
75205 Paris Cedex 13
France

E-Mail: amelie [at] liafa.univ-paris-diderot.fr
Phone: +33 (0)1 57 27 94 46