conf.researchr.org / James Bornholt
Registered user since Fri 16 Jan 2015
I am an Assistant Professor of Computer Science at the University of Texas at Austin and an Applied Scientist in the Automated Reasoning Group at Amazon Web Services.
I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.
Affiliation:University of Texas at Austin
Research interests:Programming Languages