James Bornholt
Assistant Professor
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.