James Bornholt

Registered user since Fri 16 Jan 2015

Name: James Bornholt

Bio: I’m a second-year computer science PhD student in the PLSE and Sampa groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. We develop new formal methods and programming languages techniques, from program synthesis frameworks to consistency models, to solve systems problems.

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~bornholt/


PLMW@PLDI Programming with Estimates
Speaker in Organizing Committee within the PLMW@PLDI 2016-track
Show activities from other conferences

PLDI 2016-profile
View general profile