返回导师列表
JB

Jacob Bennett-Woolf

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom
Functional ProgrammingType TheoryProgramming LanguagesSemantics and Verification

简介

PhD student researching at the intersection of Functional Programming and Type Theory. Current project focuses on unrolling inductive datatypes for optimisation, starting with lists. Supervises theory courses in Part IB and Part II.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。