SPLASH 2020 (series) / Mihaela Sighireanu

Registered user since Thu 18 May 2017
Name:Mihaela Sighireanu
Bio:
I’m professor at ENS Paris-Saclay and member of the LSV laboratory. Before, I’ve was associate professor at (University of Paris](https://u-paris.fr) and member of the verification team in the research institute IRIF. I’ve obtained my PhD from University of Grenoble under the supervision of Hubert Garavel. I’ve previously worked at Verimag during my Master thesis and at INRIA during my postdoc .
Country:France
Affiliation:LSV, ENS Paris-Saclay
Personal website:https://www.lsv.fr/~sighireanu
Research interests:Formal Methods, Programing, Static Analysis
Contributions
SPLASH 2020-profile
View general profile
View general profile