Keynote & Plenary Invited Talks

John S. Baras

Professor and Lockheed Martin Chair in Systems Engineering
Institute for Systems Research
University of Maryland at College Park, USA

Biography: Diploma in Electrical and Mechanical Engineering from the National Technical University of Athens, Greece, 1970; M.S., Ph.D. in Applied Mathematics from Harvard University 1971, 1973.

Since 1973, faculty member in the Electrical and Computer Engineering Department, and in the Applied Mathematics, Statistics and Scientific Computation Program, at the University of Maryland College Park. Founding Director of the Institute for Systems Research (ISR), 1985 to 1991. Since 1991, Founding Director of the Maryland Center for Hybrid Networks (HYNET). Since 2013, Guest Professor at the Royal Institute of Technology (KTH), Sweden.

IEEE Life Fellow, SIAM Fellow, AAAS Fellow, NAI Fellow, IFAC Fellow, and a Foreign Member of the Royal Swedish Academy of Engineering Sciences (IVA). Received the 1980 George Axelby Prize from the IEEE Control Systems Society, the 2006 Leonard Abraham Prize from the IEEE Communications Society, the 2014 Tage Erlander Guest Professorship from the Swedish Research Council, and a three year (2014-2017) Senior Hans Fischer Fellowship from the Institute for Advanced Study of the Technical University of Munich, Germany. In 2016 he was inducted in the A. J. Clark School of Engineering Innovation Hall of Fame of the University of Maryland, and received the 2017 IEEE Simon Ramo Medal, and the 2017 AACC Richard E. Bellman Control Heritage Award.

Professor Baras’ research interests include systems and control, optimization, communication networks, signal processing and understanding, applied mathematics, robotics, computing systems and networks, network security and trust, and model-based systems engineering.

Athanasios Kalogeras

Industrial Systems Institute, Athena R.C., Greece

Biography: Dr. Athanasios Kalogeras holds a Ph.D. in Electrical and Computer Engineering from the University of Patras, Greece. He has been with the Industrial Systems Institute of the Athena Research and Innovation Center since 2001, where he currently holds the position of Research Director. His research interests include cyber physical systems and their sub class industrial control systems, industrial internet of things (IIoT), flexible manufacturing systems, collaborative manufacturing, industrial integration and interoperability. Research in the above sectors is applied in diverse application areas including the manufacturing environment, critical infrastructure protection, smart cities, smart buildings, smart energy, smart health, smart applications for tourism / culture.

He has extensive over 25 years of experience in the implementation, management and coordination of European and national funded projects, and has been involved in over 45 projects with roles ranging from member of the project team, to technical manager, to project manager, and project coordinator.

He has over 80 scientific publications in journals, book chapters and conference proceedings, with good international recognition (Google Scholar number of citations 564, h-index 12 as of Feb 2019). He has participated as a member in the program committee of more than 30 conferences and has served as reviewer in several conferences and scientific journals. He is ERCIM News local editor in Greece. He has collaborated as a research and development engineer with the University of Patras, the Computer Technology Institute and the private sector. He has extensive educational experience as a professor at the Technical Educational Foundation (TEI) of Patras in the period 2001-2015, and in the context of vocational training.

He has been a member of the Board of Directors of the ATHENA Research and Innovation Center (2015-2017), a member of the Scientific Council of the Industrial Systems Institute since 2012, a member of the Governing Committee of Athena RC Researchers Association since 2012, a member of the Board of Directors of the Regional Innovation Pole of Western Greece (2006-2008), and a member of the Audit Committee of the Center of Entrepreneurial and Technological Development of Western Greece (2003-2009). He has been a postgraduate scholar of the Bodosakis Foundation. He is a member of the Technical Chamber of Greece and a Senior Member of IEEE.

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 (, 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.