DLS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Mihaela Sighireanu

Registered user since Thu 18 May 2017

Name:Mihaela Sighireanu
Bio:

I’m associate professor, more precisely “Maitre de conferences with HDR” at University of Paris 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:IRIF, Université Paris Diderot, France
Research interests:Formal Methods, Programing, Static Analysis

Contributions

Show activities from other conferences

SPLASH 2021-profile
View general profile