Georg Weissenbacher is Professor at the TU Wien Faculty of Informatics. His research interests include the automated verification of software and hardware. His recent research focus is the detection and explanation of intricate bugs in concurrent systems. Weissenbacher studied at the TU Graz and ETH Zurich and holds a PhD in computer science from the University of Oxford. Prior to his position at the TU Wien, he was a postdoctoral research associate and lecturer at Princeton University.Georg Weissenbacher is a series editor of the “Conference Series: Formal Methods in Computer-Aided Design”.