Professor Neil Ghani

Contact Information:
    Department of Computer and Information Sciences
    University of Strathclyde
    Glasgow G1 1XH, Scotland
    phone: (0141) 548 4303
    fax: (0141) 548 4523
    email: ng *at*
Born 21.07.67, I grew up in Newcastle-Upon-Tyne, England. I studied mathematics at Pembroke College, Oxford for five years and then did my Ph.D in Computer Science at the LFCS in Scotland's beautiful capital, Edinburgh. I then spent a year continuing the research of my thesis in Paris at the Ecole Normale Superieur in the DMI. Having sampled the delights of Paris, I returned to work as a Research Fellow on the xSLAM project in the University of Birmingham before accepting a position as Lecturer in the Dept. of Maths and Computer Science at the University of Leicester. In September 2005, I took up a new position in the Foundations of Programming group at the University of Nottingham where I became a Reader in 2007. In 2008, I moved to the University of Strathclyde to become a Professor and found the Mathematically Structured Programming group.

[HOMEPAGE] | [CV] [Agda Code file for MSCS Submission] | [TEACHING] | [MSP HOMEPAGE]