• Home

Teaching

Administrative Tasks

Private

Sorin Stratulat

         

  • Associate Professor in Computer Science at UFR MIM from 
the University of Lorraine, Metz, France. 
 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: sorin.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:














 

Upcoming Events

  • Turing-100 The Alan Turing Centenary Conference, June 22-26, Manchester, UK.
    Posted 8 May 2012 10:19 by sorin stratulat
  • PAS 2012 International Seminar on Program Verification, Automated Debugging and Symbolic Computation, PAS 2012, October 10-12, 2012. Beijing, China.
    Posted 8 May 2012 10:17 by sorin stratulat
Showing posts 1 - 2 of 2. View more »

News

  • New Paper The paper `A Unified View of Induction Reasoning for First-Order Logic' was accepted at The Alan Turing Centenary Conference and selected as candidate for award.
    Posted 8 May 2012 10:28 by sorin stratulat
  • 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 - 2 of 2. View more »