Appendix A. Contributors

Jorge Aranda is a Postdoctoral Fellow at the University of Victoria, working with the SEGAL and CHISEL Labs. He obtained his doctoral degree from the University of Toronto, after performing empirical studies, observations, and interviews with hundreds of professionals at dozens of software organizations. These studies, along with his previous experience as a software consultant and developer, convinced him that team coordination and communication are the greatest problems in our field, and his research aims to help fix them. Jorge is a Mexican who now lives in Victoria, B.C., Canada, with his wife and their cat. He likes board games, books, movies, cooking, jogging, and juggling.

Thomas Ball is Principal Researcher at Microsoft Research where he manages the Software Reliability Research group (http://research.microsoft.com/srr/). Tom received a PhD from the University of Wisconsin‒Madison in 1993, was with Bell Labs from 1993‒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.