Welcome to my home page

I am  a PhD student in the LCR team of  LIPN (research axis: Specification and Verification). I am majoring in specification and verification of real-time systems under the direction of Christine Choppy and Étienne André.