Headshot of James Bornholt
Headshot of James Bornholt

Fellow

James Bornholt

University of Washington

2018

James Bornholt is a fourth-year PhD student at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze.

James works on programming languages and formal methods, focusing on building scalable automated verification and synthesis tools. He received a BPhil in computer science from the Australian National University.