I am currently a researcher at Inria (Rennes, France), in the Hycomes group.
I am broadly interested in dynamical systems: defining concepts of solutions, proving their existence, approximating their orbits… the tools I have been using so far include

  • Symbolic and certified numerical computations
  • Combinatorial optimization
  • Convex analysis

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

Khalil Ghorbal