conf.researchr.org / 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
Personal website: https://www.irif.fr/~sighirea
Research interests:Formal Methods, Programing, Static Analysis
Contributions
2023
Static Analysis Symposium
2022
Static Analysis Symposium
2021
Static Analysis Symposium
2020
Static Analysis Symposium
- Session Chair of 6 (part of SAS)
- Session Chair of 6 (part of SAS)
- Session Chair of 10 (part of SAS)
- Co-chair in Program Committee within the SAS-track
- Session Chair of 7 (part of SAS)
- Session Chair of 2 (part of SAS)
- General Co-Chair in Organizing Committee
- Committee Member in Organizing Committee within the SAS-track