Amélie Gheerbrant
 
I am an assistant professor (maîtresse de conférence) in the department of Computer Science at the University of Paris, 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.

Publications
 
Events

Projects

Teaching / Enseignement (2020-2021)

Past Teaching / Enseignement Passé

Contact details

Institut de Recherche en Informatique Fondamentale
CNRS UMR 7089, Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13
France

E-Mail: amelie [at] irif.fr
Bureau 4039
Phone: +33 (0)1 57 27 94 46