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
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.
