James McKinna

I am a Senior Research Fellow in the Laboratory for Foundations of Computer Science, part of the School of Informatics at the University of Edinburgh.

I currently work as Co-Investigator, with Perdita Stevens and James Cheney, on an EPSRC-funded research project A theory of least change for bidirectional transformations. This is in collaboration with Jeremy Gibbons and Faris Abou-Saleh, at Oxford University.

Prior to that, I was:

In due course, this page should tell you something about my research, past and present.


Prompted by colleagues who don't read German, I have recently written a translation of Kolmogorov's classic paper in logic. I have followed convention by translating his Aufgabe as problem: it would make for slightly more striking reading if one were to render this as exercise; but using homework is probably a step too far, even for the Göttingen of 1931.

Subsequent to this, I discovered that a translation already exists of this paper, and many others from that period, in Paolo Mancosu's From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford: Oxford University Press, 1998. This is available as a print-on-demand book from OUP.

Room 5.28, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB.

Last modified Wednesday, 20-Aug-2014 17:59:43 GMT.