Mihaela Sighireanu

Registered user since Thu 18 May 2017

Name:Mihaela Sighireanu
Bio:

Professor at ENS Paris-Saclay, University Paris-Saclay and member of LMF. PhD from University of Grenoble under the supervision of Hubert Garavel at Verimag and INRIA. Previously member of IRIF and University of Paris-Cité.

Country:France
Affiliation:University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF
Research interests:Formal Methods, Logic, Programing, Static Analysis

Contributions