Murdoch James Gabbay

Geometric church ceiling art

Personal details

Photograph of Murdoch James (Jamie) Gabbay
Name
Everybody calls me Jamie.
E-mail
murdoch.gabbay at gmail deletethis com

Summary

I study the foundations of computer science. I’m known for inventing nominal techniques and nominal sets based on the Gabbay-Pitts model of naming and abstraction in Fraenkel-Mostowski set theory.
The work was initially with Andrew Pitts; then Mark Shinwell, Christian Urban, and James Cheney joined in. I have since published with Maribel Fernández, Ian Mackie, Michel Reniers, Mohammed Reza Mousavi, Aad Mathijssen, Martin Hofmann, Stéphane Lengrand, Gilles Dowek, Michael Gabbay, Dominic Mulligan, Vincenzo Ciancia, Daniela Petrişan, Tadeusz Litak, Elliot Fairweather, Matteo Cimini, Claus-Peter Wirth, Dan Ghica, Aleksandar Nanevski, and Peter Kropholler.
You can look at Murdoch J. Gabbay on DBLP (often out-of-date!) or see my publications online.

Swedish Chef

For your convenience, my homepage is available in Swedish Chef (what’s that?).

Papers

I love writing maths papers; you can find my publications (with bibtex) here.

If linear lists aren’t your thing, there’s also the flash-based graphical map—the benefit being that links between papers, and the flow of development of the ideas, is immediately evident. You can make your own, using the publications map program. (My map is out-of-date; sorry.)

Finally, see some tips on writing papers and managing co-authors.

Citing me

If you use my work, I suggest you cite me as ‘Murdoch J. Gabbay’ rather than just ‘M. J. Gabbay’ because my brother Mike has the same initials.

The Gabbay-Pitts NEW quantifier

That’s the И symbol you’ll find in most of my papers: a quantifier meaning ‘for a fresh name’, with really lovely logical properties. See my PhD thesis and subsequent LICS’99 paper. Here is LaTeX code for typesetting the NEW quantifier.

Talks

I have given academic talks on mathematics and theoretical computer science in universities and research institutes all over the world. Travelling and giving talks is a great way to improve and grow as an academic. Thanks to all those who kindly hosted me.

Treatment of invited speaker

I travel a lot, and found this helpful guide to the treatment of invited speaker (sic) in the common-room of the Central Tungus Plateau University (Okrug campus), Siberia.

Essays and opinions

I keep a miscellanea of opinions.

Photos

I am a keen photographer. I take urban and scenic photographs of people, landscapes, animals, insects, architecture — and anything else that reflects or generates light. When I travel, I usually have my camera with me.

I maintain two catalogues of photos:

I haven’t updated my online photo galleries in some time … I hope to do this when I get an opportunity.

Classification codes

I am not a number — but if I were:

ACM Computing Classification System (1998)
F.4.1 Mathematical Logic
UNESCO subject classification codes (Spanish)
1102 Lógica deductiva

Keywords …

… of some things I have worked on, in no particular order.

Further reading

Scripts$

Sometimes I remember that computers are supposed to save labour as well as create employment for mathematicians. Then I write a computer script.

Tasting notes

I like alcohol, especially strong beers and malt whisky.
I keep some tasting notes online.

Jewish festivals

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.
2014, 2015, 2016.
Dates (western calendar).
5774, 5775, 5776.

(Links from Philip Wadler’s homepage.)

The Good, the Bad, and the Ugly

I keep a miscellanea of things I approve of, disapprove of, or am shocked by.

Hall of fame

I keep a hall of fame for programs which changed my life.

Jekyll

These pages were coded using Jekyll.

Fonts

Fonts used on this webpage are: