Sarah de Haas -

Registered user since Fri 27 Sep 2019

Name:Sarah de Haas

Affiliation:Google Research

Contributions

HATRA 2020	Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track
HASE 2020	Organizer in Organizing Committee within the HASE 2020-track Organizer of Peer Skillshare within the HASE 2020-track