The University of Edinburgh Healfdene Goguen

Research Fellow

LFCS, Department of Computer Science
University of Edinburgh
JCMB, The King's Buildings
Edinburgh, EH9 3JZ
United Kingdom

hhg@dcs.ed.ac.uk

I now work for .

I used to be a member of the LEGO Project in the European TYPES Project.

I worked for one year in Projet CROAP at INRIA.

You can find more information in my CV.


Papers