Murdoch Gabbay teaching pages
- Everybody calls me Jamie.
- gabbay at macs hw ac don’ttypethis uk
- Office phone
- +44 (0)131 451 3425
- Office fax
- +44 (0)131 451 3327
- G.50 Earl Mountbatten Building. See pdf and jpg campus maps. Careful: it’s a maze, so plan your route or bring provisions and a compass.
- MACS switchboard if I don’t pick up (it’s not personal)
- +44 (0)131 451 4156
- Address for actual physical envelopes that you have to seal shut
- Dependable Systems Group
Computer Science Department
School of Mathematical and Computer Sciences
EDINBURGH EH14 4AS
In Semester 1, 2013/14 I am teaching the Programming Languages course to second year (F28PL) computer science students.
Lectures are Wednesdays at 12:15 in EM1.82, and Thursdays at 10:15 in EM1.83 and 15:15 in ECG.01. There is also a lab Thursdays at 13:15 in EM2.50. Course materials are here.
To book a seminar, fill out this booking form (also in odt format) and e-mail it to me with a preferred time and date. I will book a room and send out an announcement. Seminars usually take place on Wednesdays at 15:15; by default, that’s what I’ll try to book.
I am a lecturer in theoretical computer science. My research is mostly in formal logic.
You can find my my academic publications. I have also written some tips on writing papers and managing co-authors.
I missed my ten-year university reunion because my Alma Mater booked it for Yom Kippur. Likewise for my final school graduation. So be considerate, avoid the high holy days of Rosh Hashana and Yom Kippur. If you want observent Jews to turn up, also avoid Shabbat (Saturday), Sukkot, Chanukkah, Purim, and Passover.