ROBIN COCKETT

Credentials
B.Sc. (1974) Warwick University, England
Ph.D. (1979) Leeds University, England
Present Position
Professor, Department of Computer Science
Key Words:
Distributive categories, restriction categories, linearly distributive categories, differential categories;
Categorical proof theory, semantics of computation, semantics of concurrency;
          Categorical programming, quantum programming.

Research:

Some recent talks:


Teaching: