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). Recent papers (starting from 2013) can be found here. Older ones are available upon request (cf. contact).

Lire la suite