Sebastian Elbaum

Sebastian Elbaum is a Professor of Computer Science at the University of Virginia's School of Engineering and Applied Science. His research focuses on Software Engineering and Autonomous Systems, with a particular emphasis on safety-critical systems, robotics, and deep learning verification. He leads projects addressing challenges in autonomous vehicle validation, neural network testing, and robotic system reliability.

Notably, he is an ACM Fellow, recognizing his contributions to advancing software engineering and autonomous systems research. His work spans theoretical frameworks (e.g., SGSM for safe driving properties) to applied solutions like aerial robotics for environmental tasks.

• Key Research Themes:
  • Autonomous Systems Safety and Validation
  • Testing of Deep Neural Networks
  • Robotics Software Engineering
  • Cyber-Physical Systems
• Recent Contributions:
  • Development of frameworks for adversarial testing in autonomous vehicles
  • Advancements in scene graph-based safety monitoring
  • Tools like DNNV for neural network verification

His research often bridges academic theory with real-world applications, such as using drones for wildfire management (e.g., fire ignition via UAS) and improving TCP protocol testing. He collaborates on interdisciplinary projects funded by NSF and industry, addressing challenges in robotics, AI ethics, and system reliability.