I am currently an assistant professor at the University of Waterloo in Canada, working on safety and formal verifcation of autonomous vehicles and cyber-physical systems.
I was recently working as a researcher on the ERATO Metamathematics for Systems Design (MMSD) project at the Japanese National Institute of Informatics (NII) in Tokyo.
Prior to that I was an Ingénieur Expert de Recherche at INRIA Rennes – Bretagne Atlantique,
working in the TAMIS and ESTASYS groups.
List of PUBLICATIONS
PLASMA – Platform for Learning and Advanced Statistical Model checking Algorithms
APPLET for "Prosperity is associated with instability in dynamical networks"
APPLET – stochastic simulator of membrane systems with peripheral & integral proteins
+1-519-888-4567 Ext 39309
Institute of Computer Research