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. I’m interested in formal methods and programming languages, and how the two can solve problems in computer systems. I’ve been an intern and then a software engineer at Microsoft Research. In 2013 I graduated with a Bachelor of Philosophy from the Australian National University.

Affiliation: University of Washington

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

PLDI 2015 Activities

PLDI 2015-profile
View general profile