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* cis.strath.ac.uk

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.

TFP 2009 Code here. Run using ghci Tfp09.hs
HOSC 2009 Code here. Run using ghci Hosc09.hs