(http://www.dcs.ed.ac.uk/~dts/) received his PhD in Computer Science from the University of Edinburgh in 1982 where he has worked ever since, being appointed Professor in 1998. His research interests include the design of algebraic specification languages and functional programming languages, foundations of algebraic specification and formal software development, and more recently global computation and resource certification for mobile code. He has published more than 60 papers in journals and international conferences and has held a series of grants since 1985 for research projects in the area of verification and formal development of programs including an EPSRC Advanced Fellowship in 1992-1997 and an RSE/SOEID Fellowship during 1998. He is editor-in-chief of Theoretical Computer Science (responsible for part B: Logic, Semantics and Theory of Programming), founder, former chairman and current treasurer of the ETAPS conference series, and is on the Council of the European Association for Theoretical Computer Science.