SPLASH 2023 (series) / Mihaela Sighireanu
Registered user since Thu 18 May 2017
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 .
Affiliation:IRIF, Université Paris Diderot, France
Research interests:Formal Methods, Programing, Static Analysis
|SAS 2023||PC Member in Program Committee within the SAS 2023-track|
|Show activities from other conferences|
Using general profile