Teaching

Administrative Tasks

Private

 


 Address:

LITA, Université de Lorraine - site de 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-lorraine.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
    • 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
Showing posts 1 - 1 of 1. View more »