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 verification of qualitative properties and applications
to queries for XML documents.
- 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 in 2010/2011
(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...
- Computing with alligators, that's fun ! Visit the webpage
Alligator Eggs or
watch a quick presentation
explaining the rules of the game to
understand what I mean...
- A bunch of online courses proposed by Stanford (engineer oriented),
that I find very well-designed:
one about machine learning and
another about databases.
