Personal projects
View all- Loading
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
8:44 AM
Member since September 11, 2017