![Khalil Ghorbal](https://conf.researchr.org/getProfileImage/khalilghorbal/d03415c4-541a-455b-8e9d-a14522e4dc35/small.jpg?1711684093000)
Registered user since Mon 23 Mar 2020
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/
Contributions
POPL 2016-profile
View general profile
View general profile