Teaching
Go to home page
I currently teach the following Department of Computing courses:
First year
- Logic (course 140) -- taught jointly with Alessandra Russo
Fourth-year, MSc Advanced Computing
- Modal logic (course 499H)
Course notes can be obtained
here and from cate.