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

VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
SAS 2021 Committee Member in Program Committee within the SAS-track
Session Chair of Session 3A (part of SAS)
SAS 2020 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
ADSL 2020 Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019 Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track
Session Chair of Abstract Interpretation (2) (part of VMCAI 2019)
ISMM 2017 Author of A Refinement Hierarchy for Free List Memory Allocators within the ISMM 2017-track