Seonmo Kim

Seonmo Kim is a Formal Verification Engineer at Intel Corporation, where they focus on security and program analysis. They previously served as a Software Intern at Intel, contributing to autonomous driving technology, and worked as a Mechanic in the Republic of Korea Air Force, maintaining communication networks. Seonmo earned a PhD in Computer Science from the University of Minnesota-Twin Cities, where they were a Research Assistant exploring confidentiality measurement and memory management flaws, and also served as a Teaching Assistant. Before that, they conducted undergraduate research at Konkuk University, verifying aircraft safety systems.