영문성명: Sunbeom So

이메일: sunbeom_so@korea.ac.kr

연구실 위치 / 내선번호: 정운오IT교양관 318호

홈페이지 주소: https://ku-formal.github.io

연구분야: 소프트웨어 검증, 소프트웨어 보안, 전산 논리