Registered user since Fri 16 Jan 2015
Name: James Bornholt
Bio: I’m a computer science PhD student in the PLSE and Sampa groups 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 Washington
Personal website: https://homes.cs.washington.edu/~bornholt/
Research interests: Programming Languages
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities