SPLASH 2020 (series) / James Bornholt

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
SPLASH 2020 | Committee Member in Review Committee within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile