James McKinna (no longer works here)

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.

New Coordinates:
w: http://www.cs.ru.nl/~james
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

Postal address:
Institute for Computing and Information Science
Radboud University Nijmegen
Postbus 9010
6500GL Nijmegen
The Netherlands

Last modified: Tue Apr 24 14:59:40 BST 2008