Formal Software Verification @ KU
Toggle navigation
About
Research
Publications
Members
(current)
Courses
Recruitment
Advisor
Sunbeom So
- Assistant Professor
Graduate Students
Hyegeun Song - M.S. student (Mar. 2026 - present)
Jisung Han - M.S. student (Mar. 2026 - present)
Jungmin Lee - M.S. student (Mar. 2026 - present)