Khalil Ghorbal


Campus de Beaulieu,
263 Avenue General Leclerc,
35042 Rennes,

Phone: +33 2 99 84 75 38

$ whoami

I am currently a researcher at INRIA. I was previously a postdoc at Carnegie Mellon University, School of Computer Science and before that at NEC Labs, System Analysis and Verification Group, Princeton, New Jersey, USA. I was a Ph.D. in computer science at École Polytechnique (France), under the direction of Éric Goubault and Sylvie Putot.

Research Interests

My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. My work is interdisciplinary, at the intersection of computer science, mathematics and software and control engineering.

[dblp | Google Scholar | ResearchGate | LinkedIn]


[July 2016] I will be attending Dagstuhl Seminar: 16362 Robustness in Cyber-Physical Systems.