ECOOP and ISSTA 2023 (series) / James Bornholt
![James Bornholt](https://conf.researchr.org/getProfileImage/jamesbornholt/2fed2e8c-3f0f-47e3-9ec1-a3fafd4c7b43/small.jpg?1711467778000)
Registered user since Fri 16 Jan 2015
Name:James Bornholt
Bio:
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.
Country:United States
Affiliation:University of Texas at Austin
Personal website: https://homes.cs.washington.edu/~bornholt/
Research interests:Programming Languages
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile