SAS 2020
Wed 18 - Fri 20 November 2020 Chicago, Illinois, United States
co-located with SPLASH 2020
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

SAS 2020Co-chair in Program Committee within the SAS 2020 - 27th Static Analysis Symposium-track
General Co-Chair in Organizing Committee
Committee Member in Organizing Committee within the SAS 2020 - 27th Static Analysis Symposium-track
Show activities from other conferences

Using general profile