Sorin Stratulat

         

 Address:
Université de Lorraine - site de Metz
3, rue Augustin Fresnel
57070 METZ Cedex 1
France
 Office: ARC 036 (UFR-MIM building) 
Phone: (+33) 03 72 74 79 82

e-mail: sorin.stratulat[@]univ-lorraine.fr
WWW: http://lita.univ-lorraine.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

  • CFP: SYNASC 2016 Final Call for Papers--------------------------                       SYNASC 2016              18th International Symposium on   Symbolic and Numeric Algorithms for Scientific Computing         September 24-27, 2016, Timisoara, Romania               http://synasc.ro/2016Aim---SYNASC aims ...
    Posted 10 Jun 2016, 00:08 by sorin stratulat
  • SYNASC 2015 [Please post - apologies for multiple copies.] Call for Papers --------------- SYNASC 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2015, Timisoara, Romania http://synasc ...
    Posted 20 May 2015, 01:09 by sorin stratulat
Showing posts 1 - 2 of 11. View more »

News

  • Invited speaker I am one of the invited speakers at SYNASC'2016.
    Posted 2 Jul 2016, 06:20 by sorin stratulat
  • Awarded Paper The paper `A Unified View of Induction Reasoning for First-Order Logic' was accepted at The Alan Turing Centenary Conference and received one of the 'Best paper' awards.
    Posted 26 Jan 2013, 00:20 by sorin stratulat
Showing posts 1 - 2 of 3. View more »

Comments