SPLASH 2024 (series) / Mihaela Sighireanu
Registered user since Wed 21 Aug 2024
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, Programing, Static Analysis
Contributions
Using general profile