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/
POPL 2016 Activities
View general profile