(http://www.ed.ac.uk/~stark/) is a Lecturer in Computer Science in the School of Informatics at the University of Edinburgh, where he also holds an EPSRC Advanced Research Fellowship. He received his PhD from the University of Cambridge in 1995, and subsequently held a Marie Curie Fellowship in Pisa and worked in the BRICS research institute at the University of Aarhus. His research interests are in foundational models of programming languages and concurrency; in particular types, operational reasoning and mobile processes. He has a dozen published papers in journals and conferences, most recently on a calculus for global management of local resources. He has served on the programme committee for the international conferences TACS and MFPS. As well as his research fellowship, he holds an EPSRC grant on Reasoning about Names and Identity in Programming Languages, he has set up a .NET laboratory in Edinburgh with funding from Microsoft, and is Edinburgh site leader for the EC-funded APPSEM-II network. Previously he worked on the EC-funded EuroFoCS, CLICS-II and APPSEM projects.