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
12:40 PM
Member since September 11, 2017