Grondslagen / Intelligent Systems
ICIS / FNWI,
Radboud Universiteit Nijmegen
6525 AJ Nijmegen
e: james DOT mckinna AT cs DOT ru DOT nl
t: +31 24 365 26 10 (x52610 internally)
Assistant Professor in Computer Mathematics in the Foundations Group of ICIS at the Radboud University, Nijmegen.
Until 2007, I held the position of Senior Teaching Fellow in Computer Science at St.Andrews in Scotland, having moved there 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 Edinburgh LFCS (1988--98).
My research interests and experience embrace Functional Programming, Formalised Mathematics, Computational Logic, and Interaction Design, with a particular emphasis on varieties of dependent type theory as a basis for the design and implementation of integrated languages and environments for verified programming and mathematical proof.
Some of my recent research has involved the design, implementation and application of the dependently-typed functional programming language EPIGRAM, in collaboration with Conor McBride and others, including my former PhD student Edwin Brady.
I was an invited speaker (thanks to Benjamin Pierce for this photograph) at the 33rd ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, POPL'06, Charleston, South Carolina, January 11th--13th, 2006.
Please see my research page.
Please see my teaching page.