Amélie Gheerbrant
 
 
I am a research associate at the LFCS and University of Edinburgh (UK) under the supervision of Leonid Libkin. I am interested (among other things) in model theory, fixed-point logics, logics on trees, modal logic, temporal logic, automata and languages, database theory, complexity theory, dynamic logic and games. I did my PhD in Amsterdam at the ILLC under the supervision of Johan van Benthem and Balder ten Cate. I was there a Marie Curie research fellow, within the GLoRiClass research training site.
 
 
Photobucket
 
 
Papers
 
Talks
 
 
I have been giving talks at the following events:
 
 
Education
 
2007-2010 PhD in Logic, University of Amsterdam, ILLC
2005-2006 M.Sc. in Artificial Intelligence, Paris 13, LIPN
2003-2004 M.A. in Logic and Philosophy of Sciences, Paris 1 Sorbonne and Warsaw University (ERASMUS exchange)
2002-2003 M.Sc. in Cognitive Sciences, Ecole Polytechnique, Ecole Normale Superieure, EHESS, University Paris 6
1998-2002 B.Sc. ("Maîtrise") in Logic, Paris 1 Sorbonne, Special program in Mathematical and Philosophical Logic
1998-2001 B.A. ("Licence") in Philosophy, Paris 1 Sorbonne
 
 

 
Links
 
FLiRT workshop
 
Gaëlle Fontaine
 
Musiques Incongrues
 
Télé Incongrue