Welcome to my home page
About Me
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é.