Registered user since Wed 21 Aug 2024

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, Programing, Static Analysis

Contributions