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) | B.S., GIST
Jisung Han - M.S. student (Mar. 2026 - present) | B.S., GIST