Amélie Gheerbrant
 
I am a research associate at the Laboratory for Foundations of Computer Science at the University of Edinburgh working under the supervision of Leonid Libkin. 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 in Amsterdam at the ILLC under the supervision of Johan van Benthem and Balder ten Cate.

Publications
 
Events

Projects

Contact details

Laboratory for Foundations of Computer Science
School of Informatics, University of Edinburgh
Informatics Forum, IF-5.37
10 Crichton Street
Edinburgh EH8 9AB, UK
E-Mail: agheerbr at inf ed ac uk
Phone: +44 (0) 131 651 3835