I am generally available via email, at
me@ this domain. I may also be found on the Quickstrom Zulip, the SPLS Zulip, the TYPES Zulip, the Agda Zulip, the cogent-club slack or on twitter. My office is Room 3.47A in the Informatics Forum at the main Edinburgh campus. If you would like to see me in person, please contact me via other means first to make an appointment.
If you are a student or a colleague, please contact me via my Edinburgh email (
ed.ac.uk), or on the appropriate course forum (e.g. Piazza).
If you are in posession of my telephone number, please avoid calling unless absolutely necessary.