I am currently an Assistant Professor in the Computer Science Department at the American University of Beirut (AUB).
Previously, I was a post-doctoral researcher at Verimag laboratory
working on BIP project.
I then joined SLS team
at TIMA laboratory as a post-doctoral researcher, where I worked
on Euretile project.
I obtained my Ph.D (Oct. 2010) 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.