Visible to the public 2016 US-German Workshop on IoT/CPS - Biographies and SnapshotsConflict Detection Enabled

Workshop Co-Chairs:

Peter Liggesmeyer - Since 2015, Prof. Dr.-Ing. habil. Peter Liggesmeyer has been the Executive Director of the Fraunhofer Institute for Experimental Software Engineering IESE in Kaiserslautern. From 2004 until 2014, Prof. Liggesmeyer was the Scientific Director of the institute. Since 2004, he has been holding the chair of Software Engineering: Dependability in the Department of Computer Science at the University of Kaiserslautern, and since 2014 he has been managing the affairs of the Gesellschaft fur Informatik (GI e.V., German Informatics Society) as its President. Prof. Liggesmeyer studied Electrical Engineering with an emphasis on Data Technology at the University of Paderborn and obtained his doctorate with honors from Ruhr University Bochum in 1992, where he also completed his habilitation thesis on "Quality Assurance of Software-Intensive Technical Systems" in 2000. From 2000 to 2004, he was a C4 Professor for Software Engineering and Quality Management at the Institute of Computer Science at the University of Potsdam (HPI).Further stages of his career included setting up a competence center on "Safety Analysis and Risk Management" in the Central Department of Research and Development of Siemens AG, Munich (1993 to 2000). From 1988 to 1993, he was a researcher at the Chair of Software Technology in the Department of Electrical Engineering at Ruhr University Bochum, where he held regular teaching assignments from 1993 to 2000. Prof. Liggesmeyer is a member of the scientific steering board of SafeTRANS, a member of the scientific advisory board for the platform "Industry 4.0", and advisor of the cluster project "fast". He is also a member of the executive board of the German Chapter of the ACM as well as a member of the expert advisory board of Quality Seal "Software made in Germany". Prof. Liggesmeyer provides consulting to several institutions on the state and federal level and is a member of the platform "Security, Protection and Trust for the Society and the Economy" of the German National IT Summit. Since 2015, he has also been the chairman of the Commission of Experts for the Bavarian Center for Digitalization (ZD.B). From 2011 to 2014, he was a member of the University Council at the Darmstadt University of Applied Sciences by order of the Hessian Ministry for Science and Arts. Furthermore, he was a liaison officer of the German National Academic Foundation (2009 - 2014).

Manfred Broy's research interests are software and systems engineering comprising both theoretical and practical aspects. This includes system models, specification and refinement of system components, specification techniques, development methods and verification. He is leading a research group working in a number of industrial projects that apply mathematically based techniques and to combine practical approaches to software engineering with mathematical rigor. There the main topics are requirements engineering, ad hoc networks, software architectures, componentware, software development processes and graphical description techniques. In his group the CASE tool AutoFocus was developed. Throughout his academic career Prof. Dr. Dr. h. c. Broy has maintained strong contacts with industry, through consultancy, teaching and collaborative research projects and he has published more than 350 scientific publications. His main field is Software & Systems Engineering and his current research interests are: the System Development Processes and Tool Support, Concurrent and Embedded Systems, Theoretical Foundation of Informatics, Cyber Physical Systems, Safety, and Requirements Engineering. One of the mains theme of Manfred Broy is the role of software in a networked world. As a member of acatech under his leadership the study Agenda Cyber-Physical Systems was created for the Federal Ministry of Research to comprehensively investigate the next stage of global networking through the combination of cyberspace and embedded systems in all their implications and potential. Since 2015 Professor Broy is founding president of the Bavarin Centre for Digitalization.

S. Shankar Sastry is currently the Dean of Engineering at University of California, Berkeley and the faculty director of the Blum Center for Developing Economies. From 2004 to 2007 he was the Director of CITRIS (Center for Information Technology in the Interests of Society) an interdisciplinary center spanning UC Berkeley, Davis, Merced and Santa Cruz. He has served as Chairman, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley from January, 2001 through June 2004. From 1999-early 2001, he was on leave from Berkeley as Director of the Information Technology Office at the Defense Advanced Research Projects Agency (DARPA). From 1996-1999, he was the Director of the Electronics Research Laboratory at Berkeley. Dr. Sastry received his Ph.D. degree in 1981 from the University of California, Berkeley. He was on the faculty of MIT as Asst. Professor from 1980-82 and Harvard University as a chaired Gordon McKay professor in 1994. His areas of personal research are resilient network control systems, cybersecurity, autonomous and unmanned systems (especially aerial vehicles), computer vision, nonlinear and adaptive control, control of hybrid and embedded systems, and software. Most recently he has been concerned with critical infrastructure protection, in the context of establishing a ten year NSF Science and Technology Center, TRUST (Team for Research in Ubiquitous Secure Technologies).

Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University and he also holds the Joe B. Wyatt Distinguished University Professor title in 2012/2013. He is founding director of the Institute for Software Integrated Systems (ISIS). His research areas are at the intersection of systems and computer science and engineering. His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber-Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). He served as program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010. He is member of the Academic Executive Board of Cyber-Physical Systems Virtual Organization and he is member of the national steering group. Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He won the National Prize in Hungary in 1985 and the Golden Ring of the Republic in 1982. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.

Speakers:

John S. Baras holds a permanent joint appointment as professor in the department of electrical and computer engineering and the Institute for Systems Research. He was the founding director of ISR, which is one of the first six National Science Foundation engineering research centers. Dr. Baras is the Lockheed Martin Chair in Systems Engineering and is the founding and current director of the Center for Hybrid and Satellite Communication Networks, a NASA commercial space center. He also serves as a faculty member of the university's Interdisciplinary Program in Applied Mathematics and an affiliate professor in the Computer Science Department. Dr. Baras' research interests include scaleable multicast security; integrated management of hybrid communication networks; modeling and performance evaluation of large broadband hybrid networks; fast internet over heterogeneous (wireless-wireline) networks; manufacturing process selection for electromechanical products; intelligent control; wavelets; robust speaker identification; low complexity, high fidelity, low rate speech coding; image processing and understanding; learning clustering algorithms and classification; distributed control (or decision) systems; stochastic dynamic model building; stochastic control and scheduling; real-time sequential detection and estimation; computer-aided control systems design; queuing systems; quantum communications; nonlinear systems; and radar systems modeling and performance evaluation and distributed parameter systems. A Fellow of the IEEE, Dr. Baras has served the organization in various leadership positions. He also serves on the editorial boards of numerous mathematics and engineering journals and book series, and consults extensively with industry and government on various automation and telecommunication problems. He is the recipient of two Invention of the Year awards from the University of Maryland, holds two patents, and has received many awards for his research and publications. Dr. Baras received his B.S. in electrical engineering from the National Technical University of Athens, Greece, and the M.S. and Ph.D. degrees in Applied Math from Harvard University.

Knut Bettenhaus

Manfred Broy's research interests are software and systems engineering comprising both theoretical and practical aspects. This includes system models, specification and refinement of system components, specification techniques, development methods and verification. He is leading a research group working in a number of industrial projects that apply mathematically based techniques and to combine practical approaches to software engineering with mathematical rigor. There the main topics are requirements engineering, ad hoc networks, software architectures, componentware, software development processes and graphical description techniques. In his group the CASE tool AutoFocus was developed. Throughout his academic career Prof. Dr. Dr. h. c. Broy has maintained strong contacts with industry, through consultancy, teaching and collaborative research projects and he has published more than 350 scientific publications. His main field is Software & Systems Engineering and his current research interests are: the System Development Processes and Tool Support, Concurrent and Embedded Systems, Theoretical Foundation of Informatics, Cyber Physical Systems, Safety, and Requirements Engineering. One of the mains theme of Manfred Broy is the role of software in a networked world. As a member of acatech under his leadership the study Agenda Cyber-Physical Systems was created for the Federal Ministry of Research to comprehensively investigate the next stage of global networking through the combination of cyberspace and embedded systems in all their implications and potential. Since 2015 Professor Broy is founding president of the Bavarin Centre for Digitalization.

Werner Damm holds the Chair for Safety Critical Embedded Systems at the Carl von Ossietzky University of Oldenburg. He is the Scientific Director of the Transregional Collaborative Research Center AVACS (SFB/TR 14 Automatic Verification and Analysis of Complex Systems), the Director of the VW Vorab funded Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems. He is a member of acatech, the German National Academy of Science and Engineering and was the General Chair of the Cyber Physical Systems Week 2014 in Berlin. Since the beginning of 2015 he is engaged as a director in the working group "highly automated systems" and, in the framework of acatech pushing on autonomous driving. Moreover he is a member of the Scientific Advisory board of the strategical project FAST - zwanzig20-Partnerschaft fur Innovation" of the Bundesministerium fur Bildung und Forschung in Germany since 2014. As a member of the steering board he contributed similarly to the Automotive Roadmap Embedded Systems and to the Acatech-Survey "New autoMobility- the future World of Automated Road Traffic" being published by the end of this year. He is a member of the Board of Directors of the Applied Research Institute OFFIS, and. the Chairman of the German competence cluster SafeTRANS, integrating leading companies and research institutes in the transportation domain, the co-founder and member of the steering board of the European Institute for Complex Safety Critical Engineering EICOSE, the Chairman of the Artemis Working Group Tool Platforms. Werner Damm has been a member of various expert groups of the European Commission and the US National Science Foundation, notably on the topics of future strategies for Systems-of-Systems in Europe, and on Cyber-Physical Systems in the Transportation domain in the US. His recent research covers foundational research on mathematical models of embedded systems, specification languages, hybrid systems, formal verification methods, and real-time and safety analysis. This is complemented by applied research with industrial partners in avionics, automotive, and train system application. The focus of this research is on enhancing model-based development processes with formal method-based approaches to verification, testing, and safety and real-time analysis, as well as on enabling component-based design for embedded systems.

Knut Degen is Founder & CEO of SYSGO AG. The company provides the leading operating system for safe and secure devices in Europe. Since 2012 SYSGO is backed by the Thales Group, a global solution supplier for critical infrastructure. Today, Mr. Degen focuses on company strategy, research and technology. Prior to SYSGO Knut Degen worked as a software developer for real-time operating systems. He holds a degree in Psychology of the University of Mainz.

Paul Didier is an Industry Solutions Architect for manufacturing for Cisco. He is responsible for developing solutions for the manufacturing industry, including those for automation and control systems. Prior to joining Cisco, he was an associate partner with a focus on IT infrastructure at Accenture and an IT manager for SAP. He has extensive experience working for manufacturing, retail and financial services clients, developing and deploying large enterprise IT applications for a range of business functions on a global scale. Didier is a member of the Open Device Vendor Association's (ODVA) Technical Review Board and has more than 20 years of industry experience.

Knut Hufeld

Harald Honninger studied Physics at the Universities of Freiburg and Munich. In 1986 Mr. Honninger joined the Corporate Research for Manufacturing Technology within Robert Bosch GmbH where he operated till 1989. He took over responsibilities as line manager as well as project manager for several software projects afterwards in the area of engine management systems development. During this time he was also leading several CMM/CMMI-based improvement projects within the Gasoline Systems business division. From 2003 until present Mr. Honninger is Vice President Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development within the Bosch group. He is responsible for the pre-development of software-intensive systems and for software-, hardware- and systems engineering methods. He initiated metric programs for embedded software and CMM(I)-based process improvement for projects, departments and divisions. He coordinated corporate-wide improvement activities at Bosch with the focus on processes, software architectures, and employee competencies. His professional interests include change management, international distributed development, and team development.

Edward A. Lee is the Robert S. Pepper Distinguished Professor in the Electrical Engineering and Computer Sciences (EECS) department at U.C. Berkeley. His research interests center on design, modeling, and analysis of embedded, real-time computational systems. He is the director of the nine-university TerraSwarm Research Center (http://terraswarm.org), a director of Chess, the Berkeley Center for Hybrid and Embedded Software Systems, and the director of the Berkeley Ptolemy project. From 2005-2008, he served as chair of the EE Division and then chair of the EECS Department at UC Berkeley. He is co-author of nine books (counting second and third editions) and numerous papers. He has led the development of several influential open-source software packages, notably Ptolemy and its various spinoffs. He received the B.S. degree in Computer Science from Yale University, New Haven, CT, in 1979, the S.M. degree in EECS from the Massachusetts Institute of Technology (MIT), Cambridge, in 1981, and the Ph.D. degree in EECS from the University of California Berkeley, Berkeley, in 1986. From 1979 to 1982 he was a member of technical staff at Bell Telephone Laboratories in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education. Professor Lee's research group studies cyber-physical systems, which integrate physical dynamics with software and networks. Specifically, his group has made major contributions in models of computation with time and concurrency, model-based design and analysis, domain-specific languages, architectures for real-time computing, schedulability analysis, and modeling and programming of distributed real-time systems. His group has been involved with parallel and distributed computing, including models of computation with distributed real-time behaviors, partitioning and scheduling algorithms, backtracking techniques for fault tolerance and recovery, dataflow models of computation, and modeling of sensor networks. His group has made key contributions in semantics of timed and concurrent systems, including domain polymorphism, behavioral type systems, metamodeling of semantics, and comparative models of computation. His group has also worked on blending computing with continuous dynamics and hybrid systems. Prof. Lee himself has an extensive background in signal processing and physical-layer communication systems, and has co-authored five books on these subjects, in addition to four books on embedded systems technologies.

Peter Liggesmeyer - Since 2015, Prof. Dr.-Ing. habil. Peter Liggesmeyer has been the Executive Director of the Fraunhofer Institute for Experimental Software Engineering IESE in Kaiserslautern. From 2004 until 2014, Prof. Liggesmeyer was the Scientific Director of the institute. Since 2004, he has been holding the chair of Software Engineering: Dependability in the Department of Computer Science at the University of Kaiserslautern, and since 2014 he has been managing the affairs of the Gesellschaft fur Informatik (GI e.V., German Informatics Society) as its President. Prof. Liggesmeyer studied Electrical Engineering with an emphasis on Data Technology at the University of Paderborn and obtained his doctorate with honors from Ruhr University Bochum in 1992, where he also completed his habilitation thesis on "Quality Assurance of Software-Intensive Technical Systems" in 2000. From 2000 to 2004, he was a C4 Professor for Software Engineering and Quality Management at the Institute of Computer Science at the University of Potsdam (HPI).Further stages of his career included setting up a competence center on "Safety Analysis and Risk Management" in the Central Department of Research and Development of Siemens AG, Munich (1993 to 2000). From 1988 to 1993, he was a researcher at the Chair of Software Technology in the Department of Electrical Engineering at Ruhr University Bochum, where he held regular teaching assignments from 1993 to 2000. Prof. Liggesmeyer is a member of the scientific steering board of SafeTRANS, a member of the scientific advisory board for the platform "Industry 4.0", and advisor of the cluster project "fast". He is also a member of the executive board of the German Chapter of the ACM as well as a member of the expert advisory board of Quality Seal "Software made in Germany". Prof. Liggesmeyer provides consulting to several institutions on the state and federal level and is a member of the platform "Security, Protection and Trust for the Society and the Economy" of the German National IT Summit. Since 2015, he has also been the chairman of the Commission of Experts for the Bavarian Center for Digitalization (ZD.B). From 2011 to 2014, he was a member of the University Council at the Darmstadt University of Applied Sciences by order of the Hessian Ministry for Science and Arts. Furthermore, he was a liaison officer of the German National Academic Foundation (2009 - 2014).

Peter Marwedel studied physics at the University of Kiel, Germany. He received a Dr. rer. nat. degree in physics in 1974 and a Dr. habil. degree in computer science in 1987. Since 1989, he is holding a chair for computer engineering and embedded systems at the computer science department of TU Dortmund. He is also chairing ICD, a local spin-off. His research interests include design automation for embedded systems, in particular the generation of efficient embedded and cyber-physical system software. Focus is on energy efficiency, timing predictability, reliability and tradeoffs between design objectives. Dr. Marwedel has published a text book on embedded systems foundations of cyber-physical systems. He is an IEEE Fellow, recipient of the EDAA Lifetime Achievement Award in 2013, the 2014 ACM SIGDA Distinguished Service Award and the ESWEEK Lifetime Achievement Award in 2014.

Tariq Samad is a Corporate Fellow with Honeywell Automation and Control Solutions, based in Minneapolis, Minnesota. His career with Honeywell has spanned over 25 years, during which time he has contributed to and led automation and control technology developments for applications in electric power systems, the process industries, building management, automotive engines, unmanned aircraft, and clean energy. His research interests relate broadly to automation, intelligence, and autonomy for complex engineering systems. Dr. Samad is General Chair for the 2012 American Control Conference (Montreal), the first ACC to be held outside the U.S. Prior to this role, he was Program Chair for the 2008 American Control Conference (Seattle). His other service to AACC includes being on its Board of Directors and chairing the AACC Control Engineering Practice Award committee. Dr. Samad is a Fellow of the IEEE and the recipient of several awards including a Distinguished Member Award from IEEE Control Systems Society, an IEEE CSS Control Systems Technology Award, and an IEEE Third Millennium Medal. He was the President of IEEE Control Systems Society in 2009 and previously held positions of Vice President for Publication and Technical Activities. He was the Program Chair for the 2004 IEEE International Symposium on Intelligent Control (Taiwan). Dr. Samad was editor-in-chief of IEEE Control Systems Magazine from 1998 to 2003. Dr. Samad holds 17 patents and has authored or coauthored over 100 publications, including the recent online report, The Impact of Control Technology (www.ieeecss.org/main/IoCT-report). He currently serves on the editorial board of IEEE Press. He represents Honeywell on the Global Carbon Capture and Storage Institute and he is a member of the Governing Board of the U.S. Smart Grid Interoperability Panel. Dr. Samad holds a B.S. degree in Engineering and Applied Science from Yale University and M.S. and Ph.D. degrees in Electrical and Computer Engineering from Carnegie Mellon University

John Stankovic is the BP America Professor in the Computer Science Department at the University of Virginia. He served as Chair of the department for 8 years. He is a Fellow of both the IEEE and the ACM. He has been awarded an Honorary Doctorate from York University in the U.K. He won the IEEE Real-Time Systems Technical Committee's Award for Outstanding Technical Contributions and Leadership. He also won the IEEE Technical Committee on Distributed Processing's Distinguished Achievement Award (inaugural winner). He has six Best Paper awards, including one for ACM SenSys 2006. He also has two Best Paper Runner Up Awards, including one for IPSN 2013. Stankovic has an h-index of 100 and over 36,000 citations. He has also won Distinguished Faculty Awards at the University of Massachusetts and at the University of Virginia. He has given more than 35 Keynote talks at conferences and many Distinguished Lectures at major Universities. Currently, he serves on the National Academy's Computer Science Telecommunications Board. He was the Editor-in-Chief for the IEEE Transactions on Distributed and Parallel Systems and was founder and co-editor-in-chief for the Real-Time Systems Journal. His research interests are in real-time systems, distributed computing, wireless sensor networks, wireless health, and cyber-physical systems. Prof. Stankovic received his Ph.D. from Brown University

James Truchard

Government Sponsors:

Sankar Basu a permanent member of NSF scientific staff and is a program Director. He came to NSF from the IBM T. J. Watson Research Center at the beginning of fiscal year 2003. After receiving a Ph.D. from the University of Pittsburgh he served on the faculty of Stevens Institute of Technology, where he taught and conducted funded research (Air Force, NSF), and for a brief period was with the Naval Underwater Systems Center, CT as a visiting senior scientist. He has visited the Ruhr University, Bochum, Germany as an Alexander von Humboldt fellow, and the MIT Laboratory for Information and Decision Systems (LIDS) for extended periods. During the summer of 2012 he was a science advisor to the US Embassy in Berlin, Germany as a State Department Embassy Science Fellow. At NSF his primary responsibilities include Design automation for Micro and Nano-systems, which includes nano-computing architectures, VLSI CAD, Cyber- Physical Systems (CPS) etc. In addition, he participates in interdisciplinary NSF program on the National Nanotechnology Initiative (NNI), and in the past has participated in the Interactions between Mathematics and Computer Science (MCS), Science of Learning Centers (SLC) Program and the Information Technology Research (ITR) program.

David Corman is a Program Director and leader of the Cyber-Physical Systems program at the National Science Foundation. Dr. Corman is a Research Associate Professor at Washington University St. Louis in the Department of Electrical and Systems Engineering. Dr. Corman has a broad range of research interests spanning many technologies fundamental to CPS application areas including transportation, energy, medical devices, and manufacturing. Dr. Corman has extensive industrial experience in the development, design, and manufacture of CPS systems. Dr. Corman received the Ph. D. degree in electrical engineering from the University of Maryland.