I am currently a researcher at Inria (Rennes, France), in the Hycomes group. My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems.

I was previously a postdoc at Carnegie Mellon University (Pittsburgh, PA, USA), School of Computer Science, Logical Systems Lab and before that at NEC Labs America, System Analysis and Verification Group (Princeton, NJ, USA).

Khalil Ghorbal