Name: Greg Michaelson
Designation: Professor, School of Mathematical and Computer Sciences Heriot-Watt University
Dr Greg Michaelson studied Computer Science at the Universities of Essex (1970-73) and St Andrews (1974-77), and subsequently taught at Napier College(1977-79) and the University of Glasgow(1979-83). Since 1983 he has worked at Heriot-Watt University where he is Professor in the School of Mathematical and Computer Sciences. His research is into the design, implementation and analysis of programming languages, with a strong focus on functional languages for multi-processor systems. He has enjoyed funding from the SERC/EPSRC, DTC and EU and has published widely. This century, with UK and international colleagues, Dr Michaelson has designed and developed the Hume language for embedded systems requiring strong resource use guarantees. He recently completed experimental compilers for a rich Hume subset that generate C with MPI and OpenMP for multi- and many-core platforms. Dr Michaelson is a Fellow of the British Computer Society and an elected member of the board of the European Association for Programming Languages and Systems. His first novel, “The Wave Singer”, was published by Argyll in 2008.