Autumn Term (2022)

Theory and Practice of Concurrent Programming (60007)

Autumn Term (2021)

Theory and Practice of Concurrent Programming (60007)

Models of Computation (50003)

Autumn Term (2020)

Models of Computation (50003)

Logic and Reasoning (40012)