Zachary Tatlock
Use attributes for filter ! | |
Gender | Male |
---|---|
Education | Purdue University |
University of California San Diego | |
H index | 25 |
Affiliations | University Of Washington |
Interests | Compilers |
Verification | |
Program Synthesis | |
Computational Fabrication | |
Date of Reg. | |
Date of Upd. | |
ID | 3959019 |