Khalil Ghorbal


Carnegie Mellon University
Computer Science Department
Gates-Hillman Center . GHC-9008
5000 Forbes Avenue
Pittsburgh, PA 15213

Phone: +1 412 268 7663

Fax: +1 412 268 5576

$ whoami

I am currently a Postdoc at Carnegie Mellon University, School of Computer Science, Logical Systems Lab. I was previously 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.

I am on the academia job market this year [Curriculum Vitæ]

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.

[DPLB | Google Scholar | ResearchGate | LinkedIn]


[November 2014] Alexandre Grothendieck dies at 86. A short bio can be found here.

[November 2014] Call for Papers: 8th edition of the NSV Workshop, collocated with the CPSWeek 2015, April 13th, 2015, Seattle, WA.

[December 2012] Call for Papers: 6th edition of the NSV Workshop, collocated with the CPSWeek 2013, April 8th, 2013, at UPenn Philly.