Jamie Vicary | Department of Computer Science and Technology

skip to content

Professor of Future Computation
Royal Society University Research Fellow
Fellow of King's College

Please visit my homepage.

Themes

Programming Languages, Semantics and Verification

Teaching

Advanced Topics in Category Theory (MPhil ACS, Part III)