|Address:||LIGM (UMR 8049)
Université Paris Est - Marne-la-Vallée
5, boulevard Descartes
77454 Marne-La-Vallée Cedex 2, France
|Location:||Copernic building, office 4B0134|
|Tel:||+33 1 60 95 77 18|
|Fax:||+33 1 60 95 75 57|
Since September 2009, I have been an associate professor (maître de conférences) in computer science at Université Paris Est - Marne-la-Vallée (France). I do teach at Institut Gaspard Monge and am a member of the LIGM computer science laboratory. Between September 2006 and August 2009, I held a similar position at LIAFA (now IRIF) at Université Paris Diderot (France).
Research. My original 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.
CS Education. For a few years, I have also been interested and done some research work in the field of computer science education and didactics, contributed to the initial and on-the-job training of high-school teachers, and to the elaboration of teacher training curricula.
Teaching. Since 2014, I have been coordinating the undergraduate computer science curriculum (Licence) at my institute. I have helped coordinate the design of the curriculum's current structure and content, and am continuing to do so. For the last few years, one of my main teaching activities was to help build and maintain the new Algorithmics and Programming courses for first-year math and CS students.
List of publications on HAL (also on dblp - arXiv - google scholar)