Roderick Bloem received his M.Sc. degree in computer science from Leiden University, The Netherlands, in 1996 and his Ph.D. degree in computer science from the University of Colorado, Boulder, in 2001. From 2002 until 2008, he was an Assistant with Graz University of Technology, Graz, Austria. From 2008, he has been a professor of Computer Science at the same university. His research interests is in rigorous methods for systems engineering, including formal verification, fault localization and correction, automatic synthesis of systems from their specifications, and trusted computing. Roderick Bloem has published over three dozen papers at international conferences and journals. He serves on various program committees and has organized the 2009 ACM/IEEE Conference on Methods and Models for Codesign and the 2010 International Conference on Formal Methods for Computer Aided Design.