His current interests include the formal analysis of message passing programs and programming methodology for multi-core systems. Satnam Singh obtained his BSc and PhD in computing science in the area of hardware design with functional programming from the University of Glasgow where he continued to be a professor in Electrical Engineering and then Computing Science from 1991 to 1998. In 1998 he joined Xilinx’s research laboratory in San Jose, California where he developed alternative techniques for specifying and formally verifying data-parallel hardware systems including the Lava system (http://www.raintown.org/lava). In 2004 he joined a Microsoft incubation team working on parallel and distributed systems.