Sebastian Fischmeister received the Dipl.-Ing. degree in computer science from the Vienna University of Technology, Austria, in March 2000, and the Ph.D. degree in computer science from the University of Salzburg, Austria, in December 2002. He continued working at the University of Salzburg as a Researcher and a Lecturer and was awarded the Austrian APART stipend in 2005. He subsequently worked at the University of Pennsylvania, USA, as a Post Graduate Research Associate until 2008. He is currently an Associate Professor with the Department of Electrical and Computer Engineering, University of Waterloo, Canada. He performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application area includes distributed real-time embedded systems in the domain of automotive systems, avionics, and medical devices.