Speakers - CPS Summer School, June 10-14th, 2019
Iolanda Leite is Assistant Professor at the Department of Robotics, Perception and Learning at the Royal Institute of Technology (KTH). She received her PhD degree from the Technical University of Lisbon (IST). Before joining KTH, she was a Postdoctoral Associate at the Yale Social Robotics Lab and an Associate Research Scientist at
Disney Research Pittsburgh. The goal of her research is to develop social robots that can capture, learn from and respond appropriately to the subtle dynamics that characterize real-world situations, allowing for truly efficient and engaging long-term interactions with people.
See Iolandas presentation here .
Hans Peter Schöner are CEO of "Insight from Outside"-Consulting. He worked for 29 years at R&D of Daimler AG. From 2004 to 2018 he was as Senior Manager responsible for development and supply of methods for testing and validation for future chassis and assistance systems, including autonomous driving functions. This included methods to provide reproducible testing situations on proving grounds with automatically driven coordinated vehicles, simulation methods for function development and testing, and (after 2012) for Daimler's Driving Simulation Center in Sindelfingen. In this position, he played a major role in defining the German government-supported project PEGASUS, which works on defining “How good is good enough?” and “How do we test this?” for Autonomous Vehicles.
From 1989 to 2004 he worked in the field of „Actuators and Mechatronics“ as well as new automotive power supply systems at Daimler Research in Frankfurt. He received his doctorate degree in 1988 at RWTH Aachen working on battery management systems for electric vehicles; during this research he passed two study phases at KTH. Dr. Schöner is active member of the Driving Simulation Association.
James Gross received his Ph.D. degree from TU Berlin in 2006. From 2008-2012, he was assistant professor at RWTH Aachen University and associated with the DFG-funded UMIC Research Centre. Since November 2012, he has been with the Electrical Engineering and Computer Science School, KTH Royal Institute of Technology, Stockholm, as an associate professor. He also serves as director for the KTH ACCESS Linnaeus Centre and is a member of the board of KTH’s Innovative Centre for Embedded Systems. His research interests are broadly in the area of mobile systems and networks, with a focus on critical machine-to-machine communications, edge computing, as well as performance evaluation methods. He has (co-)authored over 130 peer-reviewed papers in international journals and conferences. His work has been awarded multiple times, including best paper awards at ACM MSWiM 2015, IEEE WoWMoM 2009, and European Wireless 2009. In 2007, he was the recipient of the ITG/KuVS dissertation award for his Ph.D. thesis. Apart from his academic work, he is co-founder of the spin-off R3 Communications GmbH, a Berlin-based start-up in the area of mission-critical industrial wireless networking.
Martin Törngren has strong expertise in embedded and distributed control systems, safety, and systems architecting. Multidisciplinary research has been characteristic throughout his career. He has been a pioneer in bridging the gaps between automatic control and real-time distributed systems, worked closely with industry, created one company and one startup. In recent years he has devoted research to architectures and design methodologies to deal with complex automated cyber-physical systems. In 2017 he established a KTH Digital Innovation Hub on Industrial Digitalization based on experiences from H2020 innovation projects and is one of the creators of the recent Nordic academic network on the Industrial Internet of Things. He served as the technical coordinator of the European ARTEMIS project iFEST with 21 partners. In 2008 he founded ICES, the KTH industry embedded systems competence network, which has grown to 30 members, created the KTH embedded systems masters program and many spin-off research projects. He has also contributed to agendas and roadmaps on cyber-physical systems, in particular through the CyPhERS project ( www.cyphers.eu/ ), the Platforms4CPS project ( www.platforms4cps.eu/ ).
Pernilla Ulfvengren are associate professor at KTH at INDEK, Industrial Management. Her background is machine design and mechanical engineering and later she took her PhD in industrial work science and she is now docent in Industrial technology and sociotechnical systems. Her research has always been within design and engineering of socio-technical systems and always for technology and organisations in work systems. Initially her research was focused on developing technology and human-machine interfaces in rotorcraft and aircrafts, since then her research has remained in safety critical and complex systems. She have conducted research at many different system levels: warning systems and alerts in cockpits, automation levels for supervisory control, medical technology innovation, flight operations (pilot) support tools, reporting tools and management and training for safety and risk. Lately my research focus also on an overall transport system level.
See Pernillas presentation here .
Ewen Denney is a senior computer scientist and the current Technical Area Liaison (TAL) for the Robust Software Engineering Group of the Intelligent Systems Division at the NASA Ames Research Center in Mountain View, California. Within the RSE group, he currently leads a research group that is seeking to establish a rigorous basis for assurance cases, develop tool support, and apply this work to NASA problems. He has worked on automated code generation, formal certification, and safety analysis in the aerospace domain. He is the author of numerous publications on formal methods, program synthesis, and safety cases, and has chaired several international conferences. In particular, he was the founding co-chair of the NASA Formal Methods Symposium, in 2009, and founded the International Workshop on Assurance Cases for Software-intensive Systems, which he has co-chaired each year since 2013.
Jana Tumova is an Assistant Professor at the School of Electrical Engineering and Computer Science (EECS) and the Division of Robotics, Perception, and Learning (RPL) at KTH. Her research focuses on formal methods-based planning, decision making, and control of autonomous systems aiming to achieve complex system behaviors with performance guarantees. She is a recipient of the Swedish Research Council (VR) Starting grant 2018 and co-PI of several projects including EU H2020 project Co4Robots, or WASP Expeditions project on correct-by-design and socially acceptable autonomy.
Patric Jensfelt is a professor of computer science specialised in robotics at the School of Electrical Engineering and Computer Science (EECS) and the Division for Robotics, Perception and Learning (RPL) at KTH. His main research interests center around autonomy for mobile robots (navigation, localisation, mapping, etc) and systems integration. He has been involved in a number of international robotics projects such as (FP7 CogX, FP7 STRANDS and H2020 Centauro). He is the KTH representative in the graduate school management for Autonomous Systems and Software part of the Wallenberg AI, Autonomous Systems and Software Program (WASP).
Walid Mohamed is a Professor of Computer Science at Halmstad University. He is interested in the design, semantics, and implementation of programming and modeling languages. His current research focus is on modeling, rigorous simulation, and verification of cyber-physical systems, and leading the development of the Acumen modeling language. Taha is credited with developing the idea of multi-stage programming (or "staging" for short), and is the designer of several systems based on it, including MetaOCaml, ConCoqtion, Java Mint, the Verilog Preprocessor, RT-FRP, and E-FRP. He contributed to several other programming languages innovations, including statically typed macros, tag elimination, tagless staged interpreters, event-driven functional reactive programming (E-FRP), the notion of exact software design, and gradual typing. Broadly construed, his research interests include cyber-physical systems, software engineering, programming languages, and domain-specific languages. He has chaired and edited the proceedings of several conferences and workshops published by Springer and by the ACM.
Hermann Kopetz received his PhD degree in physics "sub auspiciis praesidentis" from the University of Vienna, Austria in 1968. He was a manager of a computer process control department at Voest Alpine in Linz, Austria, before accepting an appointment as a Professor for Computer Process Control at the Technical University of West-Berlin. Since 1982 he has been professor for Real-Time Systems at the Vienna University of Technology, Austria.Dr. Kopetz' research interests focus at the intersection of real-time systems, fault-tolerant systems, and distributed systems. He is the chief architect of the Time-Triggered Protocol (TTP) for distributed fault-tolerant real-time systems, which evolved out of the MARS project at the Technical University of Vienna. In the last few years, Dr. Kopetz and his research group work in the field of automotive and aerospace electronics. He is presently involved in two large EC funded research projects, namely the FP6 Integrated Project DECOS and the FP6 Network of Excellence ARTIST2.
Paul Pop is a professor at DTU Compute, Technical University of Denmark (DTU). He has received the Ph.D. degree in computer systems from Linköping University in 2003. His research is focused on developing methods and tools for the analysis and optimization of dependable embedded systems. In this area, he has published over 130 peer-reviewed papers, three books, and seven book chapters. He has served as a technical program committee member on several conferences, such as DATE and ESWEEK. He has received the Best Paper Award at DATE 2005, RTIS 2007, CASES 2009, MECO 2013, and DSD 2016. He has also received the EDAA Outstanding Dissertations Award (co-supervisor) in 2011. His research has been highlighted as The Most Influential Papers of 10 Years DATE. He is the Chairman of the IEEE Danish Chapter on Embedded Systems. He is the Director of the DTU’s IoT Research Center and the Coordinator of the Nordic University Hub on Industrial IoT and the FORA European Training Network, Fog Computing for Robotics and Industrial.
Mark Mueller is an assistant professor of Mechanical Engineering at the University of California, Berkeley. His research interests are on the dynamics and control of highly agile robotics, with a focus on aerial robotics and applications. Specific topics of interest include motion planning, disturbance rejection, and safety. He received a B.Eng. in Mechanical and Aeronautical Engineering at the University of Pretoria in 2008, and his M.Sc. and Dr.Sc. in Mechanical Engineering at the ETH Zurich.
Jérémie Guiochet is associate Professor in Computer Science at the University of Toulouse in France. His research work is conducted in the LAAS-CNRS Laboratory in the Dependable Computing and Fault Tolerance group (TSF), and relates to safety assessment, fault removal and tolerance in safety critical autonomous systems. He received his PhD in Computer Science in 2003 on model-based risk analysis applied to a medical robot. He joined the Dependable Computing and Fault Tolerance group at CNRS-LAAS in 2004. He has been involved in several national and international research projects in the field of dependable robotics. He was involved in several European projects on robot safety (FP6-PHRIENDS, FP7-SAPHARI, H2020 SAS) and in several French National projects (mainly in medical, agricultural, and service robotics application domains).