Judith Bishop, Thomas Ball, and Ade Miller
Judith Bishop is director of Computer Science in External Research at Microsoft Research, Redmond, where she devises strategy and implements programs to create strong links between Microsoft’s research groups and universities globally. She represents Microsoft on ACM task forces and is actively involved in the CRA and IFIP. Her research expertise is in programming languages and distributed systems, with a strong practical bias and an interest in compilers and design patterns. She has more than 90 publications, including 15 books on programming languages that are available in six languages and read worldwide. Judith has a distinguished background in academia, having taught in the UK, Germany, Canada, Italy, and the United States, before joining Microsoft from the University of Pretoria, South Africa, in 2009. Judith serves frequently on international editorial, programme, and award committees, and has received numerous awards and distinctions, most recently the IFIP Outstanding Service Award in 2009 and the SA Computer Society Fellowship Award in 2008. She is a Fellow of the British Computer Society and the Royal Society of South Africa, among others.
Thomas Ball is principal researcher at Microsoft Research where he manages the Software Reliability Research group. Tom received a PhD from the University of Wisconsin–Madison in 1993, was with Bell Labs from 1993 to 1999, and has been at Microsoft Research since 1999. He is one of the originators of the SLAM project, a software model checking engine for C that forms the basis of the Static Driver Verifier tool. Tom’s interests range from program analysis, model checking, testing, and automated theorem proving to the problems of defining and measuring software quality.
Ade Miller is currently the development manager for Microsoft’s patterns & practices group (p&p) where he manages several agile teams. His primary interests are parallel computing and in improving the way people develop software. He is current writing a book on design patterns for parallel programming.
Prior to leading the p&p development team, Ade led the development of the p&p Web Services Software Factory: Modeling Edition. Before joining p&p, he was a developer and then a development lead on Visual Studio Tools for Office.
Prior to joining Microsoft, Ade worked on a variety of interesting projects including a web start-up, embedded languages, and High Performance Computing (HPC). Ade is a regular speaker and also blogs and writes about his experiences. Ade received his BSc and PhD in Physics from the University of Southampton, UK.