• Sign in
  • Sign up
conf.researchr.org / Sarah de Haas
  • POPL 2020 profile
  • SPLASH 2020 profile
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

Share
xFri 2 Jun 02:54
using conf.researchr.org (v1.60.0)
Support page
Sign Up