Khalil Ghorbal

Registered user since Mon 23 Mar 2020

Name: Khalil Ghorbal

Bio: I am currently a researcher at Inria (Rennes, France), in the Hycomes group. My research interests orbit the following topics:

  • Algebraic methods for generating invariant sets
  • Certified numerical computations
  • Quantifier elimination in finite and real closed fields
  • Combinatorial optimization

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).

Country: France

Affiliation: Inria, France

Personal website: http://khalilghorbal.info

Research interests: Symbolic and Numeric Computations, Discrete Optimization, Dynamical Systems

Contributions

NSAD 2020Committee Member in Organizing Committee within the NSAD-track
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
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