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.

Papers

On the Complexity of Query Answering over Incomplete XML Documents (joint with L. Libkin and T. Tan), 2012, Proceedings of ICDT 2012.
Complete Axiomatizations of fragments of MSO on Finite Trees (joint work with Balder ten Cate), to appear in LMCS.
Fixed-Point Logics on Trees, 2010, PhD thesis.
Game Solution, Epistemic Dynamics and Fixed-Point Logics, (joint work with Johan van Benthem), 2010, Fundamenta Informaticae, 100(1-4): 19-41.
Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-Time μ-Calculus, Proceedings of AiML 2010.
Craig Interpolation for Linear Temporal Languages (joint work with Balder ten Cate), CSL 2009, LNCS, Volume 5771, Pages 287-301, 2009, preprint here.
Complete Axiomatizations of MSO, FO(TC1) and FO(LFP1) on Finite Trees (joint work with Balder ten Cate), LFCS 2009, LNCS, Volume 5407, Pages 180-196, 2009.
Recursive Complexity of the Carnap First-Order Modal Logic C (joint work with Marcin Mostowski), Mathematical Logic Quarterly, Volume 52 Issue 1, Pages 87 - 94, 2006.

Talks

I have been giving talks at the following events:

FLiRT workshop, 2010, Amsterdam (The Netherlands)
DEIS'10, 2010, Dagstuhl (Germany)
AiML'10, 2010, Moscow (Russia)
joint LFCS / DB Seminar, 2010, Edinburgh (UK)
GLoRiClass Farewell Event, 2010, Amsterdam (The Netherlands)
CSL 2009, Coimbra (Portugal)
TIL seminar, 2009, Bern (Switzerland)
Imperial College Logic Seminar, 2009, London (UK)
CMF workshop and ANR ENUM Meeting VERAP Meeting,2009, ENS Cachan (France)
LFCS 2009,Deerfield Beach (USA)
Logic Tea, 2008, Amsterdam (The Netherlands)
Gloriclass Halftime Event, 2008, Amsterdam (The Netherlands)
Palmyr 2008, Paris (France)
Clmps 2007, Beijing (China)
Unilog 2007, Xi’An (China)
ILLC dynamic logic working sessions, 2007, Amsterdam (The Netherlands)
Philform seminar of the IHPST, 2006, Paris (France)
7th Logical Workshop, "Logic and Games", 2006, Kazimierz Dolny (Poland)
Trends in logic IV: Towards Mathematical Philosophy, 2006, Torun (Poland)
5th Logical Workshop, "Models, Computations, Complexity" , 2004, Elblag (Poland)
Logic Colloquium, 2004, Torino (Italy)

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