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.