Plenary Speaker (CONCUR+FORMATS+QEST), September 1, 2020, Kuppelsaal, TU Wien
Annabelle McIver is a professor of Computer Science at Macquarie University in Sydney. Annabelle trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to prove quantitative properties of programs, and more recently to provide foundations for quantitative information flow for analysing security properties. She is co-author of the book "Abstraction, Refinement and Proof for Probabilisic Systems", and of the forthcoming title "The Science of Quantitative Information Flow”.
Keynote Speaker (CONCUR+QEST+FMICS), September 2, 2020, Kuppelsaal, TU Wien
Tom Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree from Kepler University in Linz, a Ph.D. degree from Stanford University (1991), and Dr.h.c. degrees from Fourier University in Grenoble and from Masaryk University in Brno. He was Assistant Professor at Cornell University, Professor at the University of California, Berkeley, Director at the Max-Planck Institute for Computer Science in Saarbrucken, and Professor at EPFL. His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German and Austrian Academies of Sciences, and a Fellow of the AAAS, the ACM, and the IEEE. He received the Robin Milner Award of the Royal Society, the EATCS Award of the European Association for Theoretical Computer Science, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.
Keynote Speaker (FORMATS), September 2, 2020, Boecklsaal, TU Wien
Alessandro Abate is Professor of Verification and Control in the Department of Computer Science at the University of Oxford. Earlier, he has done research at SRI International and at Stanford University, and has been an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He has received a Laurea degree from the University of Padova and a MS/PhD from UC Berkeley.
Keynote Speaker (CONCUR+FORMATS+FMICS), September 3, 2020, Kuppelsaal, TU Wien
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 at Boulder, in 2001. From 2002 until 2008, he was an Assistant at Graz University of Technology, Graz, Austria. From 2008, he has been a full professor of Computer Science at the same university. He has published over 100 peer reviewed papers in formal verification, reactive synthesis and security. He leads the Austrian National Research Network on Rigorous Systems Engineering and has organized events including the Computer Aided Verification conference and Formal Methods in Computer Aided Design.
Keynote Speaker (QEST), September 3, 2020, Festsaal, TU Wien
Evgenia Smirni received the Diploma degree in computer science and informatics from the University of Patras, Greece, in 1987 and the Ph.D. degree in computer science from Vanderbilt University in 1995. She is the Sidney P. Chockley Professor of computer science at William and Mary, Williamsburg, VA, USA. Her research interests include queuing networks, stochastic modeling, Markov chains, resource allocation policies, Internet and multi-tiered systems, storage systems, cloud computing, workload characterization, performance prediction and reliability of distributed systems and applications, applied machine learning. She has served as the Program Co-Chair of QEST'05, ACM Sigmetrics/Performance'06, HotMetrics'10, ICPE'17, DSN'17, HPDC'19, and SRDS'19. She also served as the General Co-Chair of QEST’10 and NSMC’10. She is an ACM Distinguished Scientist and an elected member to the IFIP W.G. 7.3.
Keynote Speaker (CONCUR), September 4, 2020, Kuppelsaal, TU Wien
Catuscia Palamidessi is a director of research at INRIA. She is the head of the COMETE (Concurrency, Mobility and Transactions) team at the Inria Saclay - Île-de-France research center, which is studying privacy, security, and how information circulates on social network and the risks related to that. Her research has led to the production of different tools like Location Guard, an obfuscation mechanism that takes the form of a browser extension and helps protect user locations. Her work led to numerous academic and industrial collaborations and has recently been awarded with an ERC Advanced Grant 2019.