Stefania Dumbrava

Registered user since Tue 16 Jul 2019

Name: Stefania Dumbrava

Country: France

Affiliation: ENSIIE Paris-√Čvry

Personal website: http://web4.ensiie.fr/~stefania.dumbrava/

Research interests: Programming Languages, Formal Methods, Software Verification

Contributions

POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track