Short Bio

Christophe Ringeissen received his PhD in 1993 at the University Nancy 1, and his Habilitation in 2009 at the University Henri Poincaré – Nancy 1. He works as researcher at Inria Nancy since 1995. He was a member of several Inria project-teams:

Since 2016, he is a member of the Pesto project-team. His research interests include:

  • Formal methods
  • Automated deduction
  • Constraint programming
  • Combination methods in automated reasoning
  • Rewriting, rule-based programming

He has published more than 60 papers (cf. DBLP). Some of his papers/reports (especially the recent ones) can be found here. Other ones are available upon request (cf. contact).