James Bornholt

Assistant Professor
Dr. James Bornholt received his bachelor of philosophy in computer science at the Australian National University in 2013. He went on to continue his studies at the University of Washington, receiving a master’s, and most recently, a doctorate in computer science and engineering in 2019. His thesis was on program synthesis, which makes programmers radically more productive by automatically writing programs given a description of their behavior. He developed new ways for programmers to understand the behavior of these tools and to build their own, and these techniques have been the foundation of a number of academic and industrial projects. Prior to joining Texas Computer Science, Dr. Bornholt worked as an applied scientist at Amazon.


Research Interests: 
  • Program synthesis

  • Automated program verification

Current Research: 

Dr. Bornholt's research focuses on assisting programmers in creating more reliable software via automated reasoning tools, and applying these findings to solve challenges in systems and architecture.