Loading
About
Pronouns: Her/She
I am a CNRS researcher at LIPN in SAFER Team. My main interests are: formal methods, timed automata and higher dimensional automata.
Info
CNRS Researcher at Laboratoire d'Informatique de Paris Nord
Paris
11:16 PM
Member since September 11, 2017