Amélie Gheerbrant

Amélie Gheerbrant

Assistant Professor

Université Paris Cité, CNRS, IRIF, France

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.