Oxford, UK

Alessandro Abate is a Professor of Verification and Control in the Department of Computer Science at the University of Oxford. Earlier, he did research at Stanford University and at SRI International, and was an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He received a Laurea degree from the University of Padova and MS/PhD at UC Berkeley.

University of North Carolina, USA

Samarjit Chakraborty is a William R. Kenan, Jr. Distinguished Professor in the Department of Computer Science. Earlier, he was a professor at the Technical University of Munich, a researcher at the TUM CREATE Center for Electromobility in Singapore, and an assistant professor at the National University of Singapore. He obtained his PhD from ETH Zurich in 2003. His research interests focus on designing hardware and software for embedded computers. He has served on the editorial boards of several ACM and IEEE journals and the executive committee of prestigious conferences, such as DAC. In addition to funding from several governmental agencies, his research has also been supported by grants from General Motors, Intel, Google, BMW, Audi, Siemens and Bosch.

Vanderbilt, USA

Taylor T. Johnson is A. James and Alice B. Clark Foundation Chancellor Faculty Fellow, Director of Graduate Studies, and Associate Professor at Vanderbilt University. He directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory and is a Senior Research Scientist in the Institute for Software Integrated Systems and a Faculty Affiliate of the Data Science Institute. Earlier, he was an Assistant Professor at the University of Texas. Taylor earned a PhD in Electrical and Computer Engineering from the University of Illinois in 2013. Taylor's research focus is developing formal verification techniques and software tools for cyber-physical systems (CPS), with a focus most recently on autonomous CPS that incorporate artificial intelligence (AI) and machine learning (ML) components, such as neural networks, for tasks ranging from sensing/perception through planning/control.

Saarland University, Germany

Martina Maggio is a Professor at Saarland University and holds a 20% appointment in Automatic Control at Lund University. Her research interests are at the interface of control theory and computing systems, with particular emphasis on resource allocation, real-time systems, and the verification of control systems under deadline misses and computational faults. She received her Ph.D. from Politecnico di Milano and has held research appointments at institutions including MIT CSAIL, Lund University, and Bosch Corporate Research.

Singapore Management University, Singapore

Archan Misra is Vice Provost (Research) and Lee Kong Chian Professor at Singapore Management University. His primary research interests are in the areas of human-robot collaboration, Embodied AI & Agentic AI, Mobile & Wearable Sensing & Computing (with emphasis on LIDAR & Event Vision Sensors), Ultra Low-Power AI and Spiking Neural Networks (SNN) for IoT (AIoT) and Smart City Services & Mobility Analytics. Prior to joining SMU, he spent over a decade as an industrial researcher, including stints as: a Senior Scientist at Telcordia Technologies, Research Staff Member at IBM T. J. Watson Research Center and Research Scientist at Bellcore). I'm a Distinguished Member of the ACM and a Senior Member of the IEEE.

UC Berkeley, USA

Sanjit A. Seshia is the Cadence Founders Chair Professor at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in formal methods for dependable and secure computing, with a current focus on the areas of cyber-physical systems, computer security, machine learning, and robotics. He has made pioneering contributions to the areas of satisfiability modulo theories (SMT), SMT-based verification, and inductive program synthesis.