Kevin Kyung Bum Cho

Kevin Kyung Bum Cho

Scholar Title

MIT EECS | Hewlett Foundation Undergraduate Research and Innovation Scholar

Research Title

Automated Safety Verification Toolbox for Autonomous Cars





Research Areas
  • Software Design and Programming Languages

Daniela L. Rus


Self-driving cars have fascinated the world for some time. However, a major question remains: how will people know whether to trust the software that runs all the autonomous behaviors? This project will deal with various optimization problems involved with verifying the safety of self-driving cars. The optimizations will deal with making the verification run faster and more efficiently. The biggest problem with verification is that it takes a very long time. This project will help shorten the time needed for verification.


I chose to participate in SuperUROP to gain a better understanding of what research is like and to learn more about my topic of autonomous cars. Through this project, I hope to not only acquire good research skills, but also learn a lot about what it means to do a full verification and about self-driving cars.

Back to Scholars