University of California, Los Angeles

Mani Srivastava is Distinguished Professor and Vice Chair at UCLA’s ECE Department with a joint appointment in the CS Department. His research is broadly in human-cyber-physical and IoT systems that are learning-enabled, resource-constrained, and trustworthy. It spans problems across the entire spectrum of applications, architectures, algorithms, and technologies in the context of systems and applications for mHealth, sustainable buildings, smart environments, etc. He is a Fellow of the ACM and the IEEE.

University of Illinois Urbana-Champaign

Tarek Abdelzaher received his Ph.D. in Computer Science from the University of Michigan in 1999. He is currently a Professor and Willett Faculty Scholar at the Department of Computer Science, the University of Illinois at Urbana-Champaign. He has authored/coauthored more than 400 refereed publications in real-time computing, CPS/IoT, distributed systems, intelligent networked sensing, machine learning, and control. He served as Editor-in-Chief of the Journal of Real-Time Systems for 15 years, and as Associate Editor of the IEEE Transactions on Mobile Computing, IEEE Transactions on Parallel and Distributed Systems, IEEE Embedded Systems Letters, the ACM Transaction on Sensor Networks, ACM Transactions on Internet Technology, ACM Transactions on Internet of Things, and the Ad Hoc Networks Journal. He chaired (as Program or General Chair) several conferences in his area including RTAS, RTSS, IPSN, Sensys, DCoSS, ICDCS, Infocom, and ICAC. Abdelzaher's research interests lie broadly in understanding and influencing performance and temporal properties of networked embedded, social, and software systems in the face of increasing complexity, distribution, and degree of interaction with an external physical environment. Tarek Abdelzaher is a recipient of the IEEE Outstanding Technical Achievement and Leadership Award in Real-time Systems (2012), the Xerox Award for Faculty Research (2011), as well as several best paper awards. He is a fellow of IEEE and ACM.

Carnegie Mellon University

Anthony Rowe is the Siewiorek and Walker Family Professor in the Electrical and Computer Engineering Department at Carnegie Mellon University. His research interests are in networked real-time embedded systems with a focus on wireless communication. He has worked on topics including large-scale sensing for critical infrastructure monitoring, indoor localization, building energy-efficiency, and technologies for microgrids. His most recent work has looked at connecting embedded sensing systems with mixed reality and spatial computing platforms. He is currently the director of the SRC/DARPA sponsored CONIX Research Center which spans seven Universities with the goal of exploring future distributed computing architectures. His past work has led to dozens of hardware and software systems, seven best paper awards, talks at venues like the World Economic Forum in Davos and several widely adopted open-source research platforms. He earned a Ph.D in Electrical and Computer Engineering from CMU in 2010, received the Lutron Joel and Ruth Spira Excellence in Teaching Award in 2013, the CMU CIT Early Career Fellowship and the Steven Fenves Award for Systems Research in 2015 and the Dr. William D. and Nancy W. Strecker Early Career chair in 2016.

Toyota Motor North America R&D

Georgios Fainekos (aka Dr. Φ) is a Senior Principal Scientist at Toyota Motor North America R&D (within TRINA). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens (NTUA). Until 2022, he was a tenured faculty (Associate Professor) of Computer Science and Computer Engineering at the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), where he led and worked on NSF, DARPA, AFRL, and industry funded projects (e.g., Intel, Toyota, Bosch). Among other professional roles, he has been a Postdoctoral Researcher at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics with a focus on Automated Driving Systems (ADS). His technical expertise is on applied logic, formal verification & requirements, testing, control theory, artificial intelligence, and optimization. In 2013, Dr. Fainekos received the NSF CAREER award and the ASU SCIDSE Best Researcher Junior Faculty Award. He has also been recognized with the top 5% teacher award in 2019 and 2021. His research has received several awards and nominations (e.g., IEEE CASE 2021, IEEE ITSC 2019, ACM HSCC 2019, IEEE/ACM MEMOCODE 2019), and the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. In 2016, Dr. Fainekos was the program co-Chair for the ACM International Conference on Hybrid Systems: Computation and Control (HSCC).

University of Illinois Urbana-Champaign

Sayan is a Professor, Associate Head of Graduate Affairs, and John Bardeen Faculty Scholar of ECE at UIUC. His research is on safe autonomy. His research group develops theory, algorithms, and tools for control synthesis and verification. Some of these have been patented and are being commercialized. Several former PhD students are now professors: Taylor Johnson (Vanderbilt), Parasara Sridhar Duggirala (NC Chapel Hill), and Chuchu Fan (MIT). Sayan received his PhD from MIT with Nancy Lynch. His textbook on verification of cyber-physical systems was published by MIT press in 2021. The group's work has been recognized with NSF CAREER Award, AFOSR Young Investigator Research Program Award, ACM SRC gold prize, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), Siebel Fellowship, and several best paper awards.

University of Pennsylvania

Oleg Sokolsky is a Research Professor of Computer and Information Science at the University of Pennsylvania and one of the founding members of the PRECISE Center. Oleg Sokolsky received M.Sc. in Computer Science in 1988 from St. Petersburg Technical University in St. Petersburg, Russia, and Ph.D. in Computer Science in 1996 from SUNY Stony Brook. After a short period as a research scientist in a small company, he joined University of Pennsylvania. His research interests include formal modeling and analysis of real-time and embedded systems, run-time verification, model-driven approaches to test generation. His work focuses on the application of formal methods to safety assurance for embedded and cyber-physical systems.