Date: Thursday, Sep 21st, 2023

Time: 11:00 am – 12:30pm EST

Zoom Registration link: https://us06web.zoom.us/meeting/register/tZUvcu6gqDIsGNwGvze0l–PcnPp9yq7YBMH

Recording: TBA

Talk Title: Towards Ambient Intelligence for Healthcare: A CPS Perspective

Abstract: Ambient Intelligence has been a goal for more than 20 years. Are we getting close? What if we focus ambient intelligence on smart healthcare, are we getting close? What role does CPS play in ambient intelligence? This talk is motivated by these questions. Various challenges, research directions, and research results from my group’s work will be used to (partially) address these themes for smart healthcare. The talk includes discussions on the ambient intelligence vision, the role of CPS, cognitive assistants on wearables, solutions supporting mental health, and lessons learned from real deployments. There is also a brief discussion on two key ML/CPS challenges: the need for robust models and dealing with uncertainties due to the environment and human behaviors.

Bio: Professor John A. Stankovic is the BP America Professor in the Computer Science Department at the University of Virginia and Ex-Director of the (CPS) Link Lab. He is a Fellow of both the IEEE and the ACM. He has been awarded an Honorary Doctorate from the University of York for his work on real-time systems. In 2022, he was elected to the Virginia Academy of Science, Engineering, and Medicine. He won the IEEE Real-Time Systems Technical Committee’s Award for Outstanding Technical Contributions and Leadership.  He also received the IEEE Technical Committee on Distributed Processing’s Distinguished Achievement Award (inaugural winner), and the IEEE TC on CPS’s Technical Achievement Award. He has two test-of-time paper awards. Stankovic has an h-index of 124 and over 66,300 citations. Prof. Stankovic received his PhD from Brown University.

Date: Thursday, June 15th, 2023

Time: 11:00 am – 12:30pm EST

Zoom Registration link: https://us06web.zoom.us/meeting/register/tZcpfu6rqTMvGdfcZdzy5lclTZXkM0eElT-u#/registration

Recording: https://youtu.be/OA_GknXKe4g

Talk Title: Deterministic Concurrency in Cyber-Physical Systems

Abstract: POPULAR frameworks based on publish-and-subscribe, service-oriented architectures, and actor networks have simplified the development of parallel and distributed software. Most of these, however, are intrinsically non-deterministic. This talk will examine some of the risks that this introduces to applications, particularly cyber-physical applications. I will then introduce an international collaboration that aims to fix the problem through a polyglot coordination language called Lingua Franca (LF). I will show that deterministic concurrency does not automatically imply a cost in performance. Finally, I will focus on how LF enables navigating the fundamental and unavoidable tradeoff between consistency and availability in distributed systems.

Bio: Edward A. Lee has been working on embedded software systems for more than 40 years. He is Professor of the Graduate School in EECS. His research is focused on cyber-physical systems. He leads the open-source software project Lingua Franca and previously Ptolemy II, is a coauthor of textbooks on embedded systems, signals and systems, digital communications, and philosophical and social implications of technology. His current research is focused on a polyglot coordination language for distributed real-time systems called Lingua Franca that combines features of discrete-event modeling, synchronous languages, and actors.

He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, won the 1997 Frederick Emmons Terman Award for Engineering Education, received the 2016 Outstanding Technical Achievement and Leadership Award from the IEEE Technical Committee on Real-Time Systems (TCRTS), the 2018 Berkeley Citation, the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Technical Achievement Award, and the 2022 European Design and Automation Association (EDAA) Achievement Award.