Kevin Kyung Bum Cho

Kevin Kyung Bum Cho
MIT EECS | Hewlett Foundation Undergraduate Research and Innovation Scholar
Advisor: Daniela L. Rus
Department: EECS
Years: 2017-2018
Research Project Title:

Automated Safety Verification Toolbox for Autonomous Cars

abstract: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.
About:

“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.”