Edward Kim

Papers

Total Citations

H-Index

About

Edward Kim is a leading researcher in the formal verification and design of cyber-physical systems, with a particular focus on integrating machine learning with rigorous safety guarantees. His most impactful work introduces Scenic, a probabilistic programming language for scenario specification and data generation that has garnered 83 citations since 2022. This language enables engineers to systematically design and analyze autonomous systems by generating realistic, edge-case scenarios for training and testing—addressing critical challenges in ensuring robustness against rare events. Kim’s contributions bridge the gap between formal methods and practical AI deployment, offering tools to verify system performance under complex, real-world conditions. His work is widely recognized for advancing the reliability of autonomous vehicles and other safety-critical systems, making him a key figure in the intersection of programming languages, cyber-physical systems, and machine learning safety.