Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name:Zachary Tatlock
Bio:

Associate Professor at the University of Washington

Country:United States
Affiliation:University of Washington
Personal website: https://ztatlock.net
Research interests:Programming Languages

Contributions