Homa Alemzadeh is an Assistant Professor in the Department of Electrical and Computer Engineering and Computer Science (by courtesy) at the University of Virginia. She is also affiliated with the UVA Link Lab, a multi-disciplinary center for research and education in Cyber-Physical Systems (CPS). Before joining UVA, she was a Research Staff Member at the IBM T. J. Watson Research Center. She received her Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign and her B.Sc. and M.Sc. in Computer Engineering from the University of Tehran. She is the recipient of the 2022 CAREER Award from the National Science Foundation and 2017 William C. Carter Ph.D. Dissertation Award in Dependability from the IEEE TC and IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. Her work on the analysis of safety incidents in robotic surgery was selected as the Maxwell Chamberlain Memorial Paper at the 50th annual meeting of the Society of Thoracic Surgeons (STS) and was featured by the MIT Technology Review, Wall Street Journal, and BBC, among others.

Jyotirmoy V. Deshmukh is an assistant professor of Computer Science at the University of Southern California. He transitioned to his current role as an educator after five years of work as a Principal Research Engineer at Toyota Motors North America R&D. At Toyota, he helped bridge the gap between academic research and industrial practice through requirement engineering and testing methods. Before joining Toyota, he was the 2010 Computing Innovation Post-Doctoral Fellow at the University of Pennsylvania under the mentorship of Rajeev Alur. He got his Ph.D. in computer engineering from the University of Texas at Austin in 2010, where he was advised by E. Allen Emerson. His current research interests include the application of formal methods to reason about cyber-physical systems, verification and testing of embedded control systems, real-time temporal logics, and analysing time-series data. He is particularly interested in studying cyber-physical systems that use machine learning based components, such as autonomous driving vehicles.

Sriram Sankaranarayanan is the S.J. Archuleta endowed professor of computer science at the University of Colorado Boulder. His research interests include automatic techniques for reasoning about the behavior of computer and cyber-physical systems. Sriram obtained a PhD in 2005 from Stanford University where he was advised by Zohar Manna and Henny Sipma. Subsequently he worked as a research staff member at NEC research labs in Princeton, NJ. He has been on the faculty at CU Boulder since 2009.

Maryam Bagheri is a first-year postdoctoral research associate at the University of Virginia (UVA), Link Lab, working with Professor Homa Alemzadeh and Professor Lu Feng. She received her Ph.D. and MSc in computer engineering/software from the Sharif University of Technology, Tehran, Iran, in 2021 and 2013, respectively. Her research at UVA focuses on the safety assurance of machine learning-enabled medical CPS. She has a background in formal methods, verification, and performance evaluation of reactive and distributed systems. As part of her Ph.D. program, she visited Professor Edward A. Lee at the University of California, Berkeley, and worked under his supervision from January 2017 to July 2017.

Emily Jensen is a fifth-year PhD student at the University of Colorado Boulder, advised by Sriram Sankaranarayanan and Bradley Hayes. She received her MS in Computer Science from the University of Colorado Boulder and BS/BA in Mathematics/Cognitive Science from Case Western Reserve University. Emily has been a Journeyman Fellow with the Army Research Lab since May 2022. Her research interests include automatically assessing human skills and designing systems that adapt with their users.