Dirk Beyer is Professor of Computer Science and Mathematics at the University of Passau, Germany, and Assistant Professor of Computing Science at Simon Fraser University, B.C., Canada. He holds a Dipl.-Inf. degree (1998) and a Dr. rer. nat. degree (2002) in Computer Science from the Brandenburg University of Technology in Cottbus, Germany. He was Postdoctoral Researcher in the School of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-2006), and in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, U.S.A. (2003-2004). In 1998 he was Software Engineer with Siemens AG, SBS Dept. Major Projects in Dresden, Germany. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is a member of the ACM, the IEEE, and the IEEE Computer Society.