Research

My research interests are the following :

  • Approximate verification
  • Probabilistic algorithms
  • Numerical stuff
  • Robust and fault-tolerant computing