Antoine Meyer
Address: LIGM (UMR 8049)
Université Paris-Est et CNRS
Cité Descartes
5, boulevard Descartes
77454 Marne-La-Vallée Cedex 2, France
Antoine Meyer
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