My contract as a Senior Teaching Fellow in Computer Science at St.Andrews ended in July 2007.
I had moved here in 2003 from a Lectureship at Durham University. Prior to that, I was a PhD student and then a post-doc in Rod Burstall's group at the LFCS in Edinburgh (1988--98).
Since September 2007 I have been working in Nijmegen in the Foundations Group of Henk Barendregt and Herman Geuvers, as Assistant Professor in Computer Mathematics.
e: james DOT mckinna AT cs DOT ru DOT nl
t: +31 (0) 24 365 26 10 (x 5 26 10 internally)
f: +31 (0) 24 365 30 01
Institute for Computing and Information Science
Radboud University Nijmegen