Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Khalil Ghorbal

Not registered as user yet

Name: Khalil Ghorbal

Bio: 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.

Affiliation: Carnegie Mellon University

Personal website: http://www.lix.polytechnique.fr/~ghorbal/


VMCAIAuthor of A method for invariant generation for polynomial continuous systems within the VMCAI-track
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile