Write a Blog >>
SPLASH 2020
Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States
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 2020Committee Member in Review Committee within the OOPSLA-track
Show activities from other conferences

Using general profile