photo totorFonction :
Maître de conférences HDR à l’UFR-MIM de l’Université de Lorraine

Membre de l’équipe MOSEL/VeriDis de LORIA

Contact :
sorin dot stratulat at loria dot fr
Tel. : +33 (0)
Bureau B215
LORIA, Campus Scientifique,
54506 Vandœuvre lès Nancy


  • SYNASC 2021 – International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Deadline for the main tracks: August 31.


The ARC project (2019-2022): EU ERASMUS project for developing teaching material (text and software) and good practice recommendations for using automated reasoning tools in university teaching of Mathematical Logic, Automated Theorem Proving, Formal Methods, and related subjects.