Brief Bio

I am currently a post-doctoral researcher in the SLS team at TIMA laboratory, where I am working on Euretile project.

Previously, I was a post-doctoral researcher at Verimag laboratory (DCS team) working on BIP project I obtained my Ph.D in Computer Science from Grenoble University realized under the supervision of Professor Joseph Sifakis and Professor Jean-Claude Fernandez. Topic: Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP.

From Feb 2011 until May 2011, I joined Microsoft Research, Redmond, WA, as Research Intern (Group: Research in Software Engineering; Advisor: Ethan Jackson). Topic: Bounded Symbolic Model Checking in Formula.