Associate Professor of Computer Science at the Interdisciplinary Center (IDC), Herzliya

Professor of Computer Science at Manchester University

Chair for Foundations of Software Reliability and Theoretical Computer Science, at the Technische Universität München

Professor at the Maynooth University Hamilton Institute

Head of the Models of Computation group, at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern