James Bornholt

Assistant Professor
He developed new ways for programmers to understand the behavior of program synthesis tools, which makes programmers radically more productive by automatically writing programs given a description of their behavior, and to build their own. These techniques have been the foundation of a number of academic and industrial projects. Prior to joining UT 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.