xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Sun 15 - Sat 21 November 2020 Online Conference
Khalil Ghorbal

Registered user since Mon 23 Mar 2020

Name:Khalil Ghorbal

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

Affiliation:Inria, France
Personal website:http://khalilghorbal.info
Research interests:Symbolic and Numeric Computations, Discrete Optimization, Dynamical Systems


NSAD 2020 Session Chair of Invited Talk (part of NSAD)
Co-chair in Organizing Committee within the NSAD-track
Session Chair of Papers (part of NSAD)
Show activities from other conferences

SPLASH 2020-profile
View general profile