James Hugh McKinna


Ph.D. The University of Edinburgh 1992 UnitedKingdom
Dissertation: Deliverables: a categorical approach to program development in type theory
Mathematics Subject Classification: 68—Computer science

Advisor 1: Rodney Martineau Burstall

Click here to see the students listed in chronological order.

Brady, EdwinUniversity of Durham2005
Mamane, LionelRadboud Universiteit Nijmegen2013
McLaughlin, CraigThe University of Edinburgh2020
Tankink, CarstRadboud Universiteit Nijmegen2013

According to our current on-line database, James McKinna has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 156781 for the advisor ID.