It's and I'm still working on my Ph.D. in the
I'm supervised by
Sylvain Conchon with whom I work on the model checking of
parametrized and timed systems.
I'm a teaching fellow in the
UFR Sciences of the Université Paris-Sud where I participate to
the Advanced Functional Programming course of the third year of