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 Institut de Recherche en Informatique Fondamentale (IRIF). 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.



Teaching / Enseignement (2017-2018)

Past Teaching / Enseignement Passé

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

E-Mail: amelie [at]
Phone: +33 (0)1 57 27 94 46