Hakjoo Oh (오학주)
Research Interest
- Software testing and fuzzing
- Static analysis and verification
- Program repair and synthesis
- Quantum programming
Education
- 2007 ~ 2012, Ph.D. Computer Science and Engineering, Seoul National University
- 2005 ~ 2007, M.S. Computer Science and Engineering, Seoul National University
- 2001 ~ 2005, B.S. Dept. of Computer Science, KAIST
- 1999 ~ 2001, Seoul Science High School
Positions
- 2023.09 ~ present, Professor, Dept. of Computer Science and Engineering, Korea University
- 2018.09 ~ 2023.08, Associate Professor, Dept. of Computer Science and Engineering, Korea University
- 2015.03 ~ 2018.08, Assistant Professor, Dept. of Computer Science and Engineering, Korea University
- 2012.03 ~ 2015.02, Postdoctral Researcher, Seoul National University
Program Committee (PC)
- 2025: SAS (PC Co-Chair) ICFP ICSE POPL OOPSLA
- 2024: PLDI, ISSTA, ICSE
- 2023: ISSTA, CC
- 2022: OOPSLA, ISSTA, PLDI
- 2021: APLAS 2021 (PC Chair), OOPSLA, ECOOP, ICSE
- 2020: TAPAS (PC Co-Chair), APLAS, OOPSLA, LCTES, ATVA
- 2019: SAS (Artifact Evaluation Chair), CAV, ATVA
- 2018: APLAS, SAS, OOPSLA
- 2017: APLAS
- 2015: APLAS
- 2013: APLAS
Awards
- ACM SIGSOFT Distinguished Paper Award. ICSE 2022
- ACM SIGSOFT Distinguished Paper Award. ISSTA 2020
- ACM SIGSOFT Distinguished Paper Award. ICSE 2019
- Best Paper Award. GPCE 2016
Contact Information
Room 616c, Science Library Bldg
College of Informatics
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 136-713, Korea
(office) +82.2.3290.4601
(email) hakjoo_oh@korea.ac.kr
Software Analysis Lab. @ Korea University