Brief Bio

firefox 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 (DCS team) 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.