|Address:||LIGM (UMR 8049)
Université Paris-Est et CNRS
5, boulevard Descartes
77454 Marne-La-Vallée Cedex 2, France
|Location:||Copernic building, office 4B071|
|Tel:||+33 1 60 95 77 30|
|Fax:||+33 1 60 95 75 57|
Since September 2009, I am holding a joint Université Paris Est / CNRS chair at the LIGM computer science lab. Between September 2006 and August 2009, I was an assistant professor (maître de conférences) at LIAFA in Paris (France).
My research interests include the characterization and study of families of finitely presented infinite graphs, in particular from the point of view of automata, languages and logics, and the closely related problem of verifying infinite-state models for computer programs and systems.
dblp - arXiv - hal - google scholar