PhD, 1988, Computer Science, University of London
Research Interests: Semantics and logic of computation, high-level methods for quantum computation and information
Ph.D., 2016, Radboud University Nijmegen
Research Interests: Operator algebras (in particular C*-algebras, von Neumann algebras, and AW*-algebras), order theory (in particular domain theory), and their applications to quantum physics.
Ph.D., 2016, University of Oxford
Research Interests: Categorical quantum mechanics, (quantum) domain theory, quantum programming languages, automated reasoning, diagrammatic calculi.
School of Science and Engineering, 201 Lindy Boggs Center, New Orleans, LA 70118 504-865-5764 firstname.lastname@example.org