James Bornholt

Registered user since Fri 16 Jan 2015

Name:James Bornholt

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
Research interests:Programming Languages


Show activities from other conferences

ECOOP 2019-profile
View general profile