conf.researchr.org / 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