conf.researchr.org / Mihaela Sighireanu
Registered user since Thu 18 May 2017
Name:Mihaela Sighireanu
Bio:
Professor at ENS Paris-Saclay, University Paris-Saclay and member of LMF. PhD from University of Grenoble under the supervision of Hubert Garavel at Verimag and INRIA. Previously member of IRIF and University of Paris-Cité.
Country:France
Affiliation:University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF
Personal website: https://lmf.cnrs.fr/MihaelaSighireanu/
GitHub: https://github.com/mihasighi
Research interests:Formal Methods, Logic, 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