Benjamin Monmege
PhD Student, ENS de Cachan
Teaching Assistant, ENS de Cachan
Research interests
- Formal languages and automata theory
- Verification of quantitative properties
- Queries for XML documents
- Machine Learning
Research activities
- I am currently a PhD student, under the supervision of
Benedikt Bollig
and Paul Gastin.
I am working on specification and verification of qualitative properties and applications
to queries for XML documents.
- In parallel, I am working in Procope project LeMon too, in which we recently
worked on learning automata dealing with data (e.g., process ids):
an article is under submission about session automata,
and a free version is available here.
- Previously, I did an internship at UCLA under the
supervision of Rupak Majumdar
with the collaboration of
Pierre Ganty,
we have worked on under-approximations of the problem that consists
of checking emptiness of intersection of two context-free
languages with some Parikh-bounded
languages. We have presented our work at CAV 2010 in
Edinburgh, and we have published a
long version
in the Special Issue CAV'10 of the journal FMSD.
Collective tasks
- Organization of Tempo/Mexico working group in 2012 (with
Nicolas Markey
and Dietmar Berwanger).
- Organization of PhD Seminar at LSV from 2010 to 2012
(with Aiswarya Cyriac).
- Participation to the group Outils Informatiques internes du LSV:
development of a database and a web interface
for the bibliographic resources of the laboratory.
Advisor : Nicolas Markey.
- Representative of first year PhD students at LSV in 2010/2011.
Links
A few interesting links...
