Keynote & Plenary Invited Talks

Wolfgang Kastner

Professor, Automation Systems
The Institute of Computer Engineering
Vienna University of Technology, Austria

Professor of Embedded Systems
Division for Embedded Systems
University of Siegen, Germany

Professor of Electrical and Computer Engineering
Computational Intelligence Laboratory & Department of Electrical and Computer Engineering
University of Louisville, USA

Professor of Computing Systems
Fellow of Trinity College
University of Oxford, UK

Edgar L. and Harold H. Buttner Chair & Professor
of Electrical Engineering and Computer Sciences
University of California at Berkeley, USA

Marta Kwiatkowska

Professor of Computing Systems and Fellow of Trinity College, University of Oxford, UK

Biography: Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area and winner of the HVC Award 2016.

Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska is the first female winner of the Royal Society Milner Award and was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy.

Kwiatkowska is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Adaptive Context Dependent Electronic Systems for Autonomous Ground- and Air-transport Systems

Adaptive Time-Triggered Multi-Core Architecture for Context Awareness, Energy-Efficiency and Robustness in Mixed-Criticality Systems

Roman Obermaisser

University of Siegen, Germany

Biography: Prof. Dr. Roman Obermaisser is full professor at the Division for Embedded Systems of University of Siegen. He has studied computer sciences at Vienna University of Technology, and received the Master’s degree in 2001. In February 2004, Roman Obermaisser has finished his doctoral studies in Computer Science with Prof. Hermann Kopetz at Vienna University of Technology as research advisor. In July 2009, Roman Obermaisser has received the habilitation (“Venia docendi”) certificate for Technical Computer Science. His research work focuses on system architectures for distributed embedded real-time systems. He wrote a book on an integrated time-triggered architecture published by Springer-Verlag, USA. He is the author of several journal papers and conference publications. He has also participated in numerous EU research projects (e.g., SAFEPOWER, universAAL, DECOS, NextTTA) and was the coordinator of the European research projects DREAMS, GENESYS and ACROSS.

Alberto L. Sangiovanni-Vincentelli

Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences
University of California at Berkeley, USA

Biography: Prof. Alberto Sangiovanni Vincentelli is the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California at Berkeley. He is an author of over 800 papers, 17 books and 2 patents in the area of design tools and methodologies, large scale systems, embedded systems, hybrid systems and innovation.

Prof. Sangiovanni-Vincentelli was a co-founder of Cadence Design Systems, Inc., San Jose, CA, USA; and Synopsys Inc., Mountain View, CA, USA – the leading Electronic Design Automation companies.

Prof. Sangiovanni-Vincentelli, IEEE Fellow and Member of the National Academy of Engineering, USA, received Kaufman Award from the IEEE Electronic Design Automation Council in 2001; IEEE/RSE Wolfson James Clerk Maxwell Medal in 2008; ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation in 2009; EDA a Lifetime Achievement Award in 2012.

He is also on the Scientific Council of the Italian National Science Foundation (CNR), on the Executive Committee of the Italian Institute of Technology, and Chairperson of the Comitato Nazionale Garanti per la Ricerca, Italy.

Prof. Sangiovanni-Vincentelli was awarded in 2009 an Honorary Doctorate by the combined EE and CS departments of the University of Aalborg in Denmark. In 2012, he was given an Honorary Doctorate from KTH in Sweden.

Jacek M. Zurada

Computational Intelligence Laboratory & Department of Electrical and Computer Engineering
University of Louisville, USA

Biography: Dr. Jacek Zurada is a Professor of Electrical and Computer Engineering at the University of Louisville, Louisville, Kentucky, USA. He was a post-doc at Swiss Federal Institute of Technology, Zurich, a Visiting Professor at Princeton University, and a Distinguished Visiting Professor at NUS and NTU (Singapore). Dr. Zurada was 2014 vice president, IEEE Technical Activities, and president of the IEEE Computational Intelligence Society in 2004 and 2005. He was editor in chief of the IEEE Transactions on Neural Networks from 1998 to 2003 and chaired the IEEE Technical Activities Board (TAB) periodicals committee in 2010 and 2011.

He has authored several textbooks including the pioneering neural networks text and over 420 refereed publications in deep learning, neural networks and image/signal processing that have resulted in over 11,900 citations. He has advised 22 PhD students, now leaders in academia, Google, Facebook and Amazon. He has also served industry and start-ups as a consultant. Dr. Zurada has delivered over 160 invited plenary conference presentations and seminars, including Distinguished Lectures for three IEEE Societies. He received numerous IEEE, university and scholarly society awards for research, teaching and service. He was elected to the Polish Academy of Sciences and received six honorary doctorates and professorships.