Write a Blog >>
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/

Contributions

POPL 2016Committee Member in Artifact Evaluation committee
Author of Optimizing Synthesis with Metasketches within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile