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