Sorin Stratulat
- Associate Professor in Computer Science at UFR MIM from the University Paul Verlaine of Metz, France.
- Member of Calcul, modélisation et interfaces research team at LITA
Address:
LITA, Université Paul Verlaine - Metz
Ile de Saulcy
57045 METZ Cedex 1
France
Office: E105 (UFR-MIM building)
Phone: (+33) 03 87 31 53 29
Fax: (+33) 03 87 31 53 09
e-mail: stratulat[@]univ-metz.fr
WWW: http://lita.sciences.univ-metz.fr/~stratula
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
- Applications: specification and test of critical software
- Certification of Smartcard Software
- Validation of Telecommunications Protocols and Services
- Formal Design of Collaborative Editing Algorithms
- Software:
