Zhejiang-Cambridge Talk Series: Type Theory and Logic / Formalised Mathematics: Obstacles and Achievements
Lawrence Paulson是剑桥大学计算逻辑教授，美国计算机协会会士，英国皇家学会院士。
Zhejiang-Cambridge Talk Series: Outline of a Mathematical Theory of Tree-like Structures
Marcelo Fiore教授是剑桥大学基督学院院士，主攻方向为计算机科学的数学基础。
Zhejiang-Cambridge Talk Series: Programming Language Semantics
Andrew Pitts教授是剑桥大学计算机科学与技术学院教授，主攻方向为计算机理论科学。
Summer Courses on Thomas McClelland’s “Being Human in an AI World”
托马斯·麦克兰德，2012年获苏克赛斯大学哲学博士，2019年起任剑桥大学哲学讲师。麦克兰德博士的研究领域涵盖心智哲学、心理学、意识的形而上学、美学和商业伦理学。
Summer Courses on Alexander Bird’s Book “Knowing Science”
伯德教授（Alexander Bird）现任剑桥大学哲学教授，曾任爱丁堡大学的哲学系主任。伯德教授主要关注知识论、形而上学、科学哲学。