# Teaching

## Lambda Calculus and Types

Undergraduate course, St. Catherine's College, University of Oxford, 2017

Carol taught second and third St. Catherine’s College students Lambda Calculus and Types from 2017 to 2020.

## Discrete Mathematics

Undergraduate course, St. Catherine's College, University of Oxford, 2017

Carol taught first year St. Catherine’s College students Discrete Mathematics from 2017 to 2019.