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