Ben Laurie -

Registered user since Fri 28 Apr 2017

Name:Ben Laurie

Affiliation:Google Research

Contributions

HATRA 2020	Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track
HASE 2020	Committee Member in Organizing Committee within the HASE 2020-track Chair of Working Sessions I within the HASE 2020-track Chair of Working Sessions II within the HASE 2020-track
DeepSpec 2019	Presenter of Project Oak: Control Data in Distributed Systems, Verify All The Things within the DeepSpec 2019-track
OCAP 2018	Committee Member in Program Committee within the OCAP 2018-track
OCAP 2017	Committee Member in Program Committee within the OCAP 2017-track