ECOOP 2019 (series) / James Bornholt
![James Bornholt](https://2019.ecoop.org/getProfileImage/jamesbornholt/917edd9f-02db-4978-9d4f-03da3de64e84/small.jpg?1711543854000)
Registered user since Fri 16 Jan 2015
Name:James Bornholt
Bio:
I’m a computer science PhD student in the PLSE group at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. I work on programming languages and formal methods, from program synthesis frameworks to consistency models.
Country:United States
Affiliation:University of Texas at Austin
Personal website: https://homes.cs.washington.edu/~bornholt/
Research interests:Programming Languages
Contributions
ECOOP 2019-profile
View general profile
View general profile