Teaching
Go to home page
I currently teach the following Department of Computing courses:
First year
Fourth-year, MSc Advanced Computing
- Modal and temporal logic (course 499, shared with Marek Sergot)
Course notes can be obtained
here and from cate.
Details on ISOs I can supervise.
Admin
I am JMC coordinator.