Murdoch Gabbay teaching pages

Contact details

Name

Everybody calls me Jamie.

E-mail

gabbay at macs hw ac don’ttypethis uk

Office phone

+44 (0)131 451 3425

Office fax

+44 (0)131 451 3327

Actual office

G.50 Earl Mountbatten Building

Actual office physical location

pdf and jpg campus maps.
Best take provisions and a compass.

MACS switchboard for if I don’t pick up (it’s not personal)

+44 (0)131 451 4156

Actual address for envelopes

Dependable Systems Group
Computer Science Department
School of Mathematical and Computer Sciences
Heriot-Watt University
Riccarton
EDINBURGH EH14 4AS
Scotland
GREAT BRITAIN

Formal Specification

In Semester 2, 2013 I am teaching the Formal Specification course to second year (F28FS) and third year (F29FS) computer science students.

Technology in Society

In Semester 2, 2013 I am teaching the Technology in Society course to first year information systems students (F27TS).

Undergraduate seminars (14:30-15:00 Mondays and Tuesdays in the Crush area)

Always concerned to cultivate further intellectual development of our students, we offer a programme of lunchtime research lectures.

You can eat while watching talks about research. I haven’t been so excited since I bought a transistor radio so I could walk and listen to Radio 4.

Lectures are 14:30-15:00 Mondays and Tuesdays in the crush area. Announcements will go out by e-mail so you know what’s on the menu. Just to be clear: the same lecture is delivered twice—once on Monday, once on Tuesday—since the timetable does not have everybody free for a single slot, all at once.

The current timetable is as follows:

January 21 & 22 at 14:30 in the crush area, Jack Talbot

Angels and Demons. A talk on setting up your own business in software development, and some of the pitfalls you might experience.

Departmental seminars

I book the rooms, and tea and coffee, for the MACS departmental seminars. If you want to book a seminar, please fill out the booking form (doc, odt) and e-mail it to me, along with a preferred date.

Seminars usually take place on Wednesdays at 15:15.

I am told that to guarantee availability of tea and coffee, it is best to book at least two weeks in advance. No, I am not making that up. So don’t last-minute me; your audience may lack caffeine and fall asleep.

Swedish Chef

For your convenience, these webpages are available in Swedish Chef (what’s that?).

Papers

If you’re interested you can look at my academic publications. I have also written some tips on writing papers and managing co-authors.
If you want to know how I write technical material to the best of my ability, then that’s where to see me trying.

Jewish festivals

You know my ten-year university reunion? I missed it, because my Alma Mater booked it for Yom Kippur. Same for my final school graduation. Be good, avoid scheduling events on Shabbat, Rosh Hasanah, Yom Kippur, Sukkot, Chanukkah, Purim, and Passover.

Introduction to Jewish holidays

Information about the traditions behind Jewish holidays (not a calendar).

Holiday dates for the next five years

A list, with dates in both the hebrew and western calendars, of the major holidays.

2013, 2014, 2015.

Dates (western calendar).