Briefly

It's and I'm still working on my Ph.D. in the LRI.
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 Bachelor's degree.