Dominic Hughes

Selected papers - Contact


Visiting Scholar
Logic Group
UC Berkeley


Previously:

Visiting Scholar
Mathematics Department
Stanford University
2013 - 2015

Theory Group and Concurrency Group
Computer Science Department
Stanford University
1998 - 2012