Researchers

Reaserch Interests: Formal Methods, Runtime Verification, Verification of Security Protocols.

I’ve developed and maintain the MonPoly tool, which is a monitor that checks compliance of log files with respect to policies specified by formulas in metric first-order temporal logic.

From 2007 to 2009, I was a post-doc at the Microsoft Research-Inria Joint Centre in Orsay, working in the Security project.I obtained my PhD in 2007 from the Henri Poincaré - Nancy 1 University. My supervisors were Véronique Cortier and Michaël Rusinowitch. I worked in the INRIA project CASSIS at LORIA.I completed the MDFI master (in fact the former French DEA) in 2004 at IML, Marseille.I graduated from the Faculty of Computer Science, “Al. I. Cuza” University, in Iaşi, Romania in 2003.

Since 2009, I am a researcher at ETHZ in David Basin‘s group working on topics related to runtime verification.