I am a PhD student at the ILLC in Amsterdam, the Netherlands, supervised by Johan van Benthem and Balder ten Cate.

I am a Marie Curie research fellow, within the GLoRiClass research training site and you can find my contact details at the ILLC here.

I am interested (among other things) in model theory, fixed-point logics, logics on trees, modal logic, temporal logic, automata and languages, dynamic logic and games.

Papers

Game Solution, Epistemic Dynamics and Fixed-Point Logics, (joint work with Johan van Benthem), 2010, to appear in Fundamenta Informaticae.
Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-Time mu-Calculus, preprint here, accepted at 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, extended version (submitted to Annals of Pure and Applied Logic) here.
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:

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

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