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

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile