(http://www.dcs.ed.ac.uk/home/lenb) is a Research Associate at the Laboratory for Foundations of Computer Science at the University of Edinburgh. He is currently working in the EU-funded Mobile Resource Guarantees (MRG) project where his main research interests include program analysis for abstract representations of mobile code and reasoning principles for low-level languages. He received his PhD in 2002 from the University of Edinburgh with a thesis applying programming language technology to the integrated reasoning about processor architecture, assembly language and compilation.