Hussein Sibai

Hussein Sibai is an Assistant Professor in the Department of Computer Science & Engineering at Washington University in St. Louis, affiliated with the McKelvey School of Engineering. He joined the faculty in January 2023 after completing a postdoctoral fellowship at the University of California, Berkeley. His primary research focuses on trustworthy autonomy in cyberphysical systems (CPS), integrating formal methods, control theory, and machine learning to ensure safety and reliability in autonomous systems.

• Education:
  • PhD in Electrical and Computer Engineering, University of Illinois Urbana-Champaign (2021)
  • MS in Electrical and Computer Engineering, University of Illinois Urbana-Champaign (2017)
  • BE in Computer and Communication Engineering, American University of Beirut (2014)

His research contributions include symmetry-exploiting algorithms for CPS verification, optimal bit rate analysis for state estimation, and robustness evaluation of autonomous perception systems. His work has been recognized through awards such as the Rambus Fellowship and ACM SIGBED Gold Medal.

Key research themes include formal verification of systems with machine learning components, control theory innovations, and theoretical computer science applications.