Research Interests
- Main Interest: theorem proving using induction techniques
- 'Descente Infinie' Induction-based Reasoning
- Equality Reasoning, Rewriting
- Cooperation and Integration of Reasoning Systems, Decision Procedures
- Proof Certification
- Automatic Distributed Proofs
- Number theory
- Applications: specification and test of critical software
- Certification of Smartcard Software
- Validation of Telecommunications Protocols and Services
- Formal Design of Collaborative Editing Algorithms
- Software:
Derniers messages
-
October 2009: A New Computer Science Master 2 Track
A new Computer Science Master 2 track will be proposed at the
University Paul Verlaine - Metz (UPVM) starting from October 2009. It
is fit for already employed students that want ...
Posted 9 Feb 2009 05:29 by sorin stratulat
|
|
