Jacob Bennett-Woolf

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Functional ProgrammingType TheoryProgramming LanguagesSemantics and Verification

About

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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.