Skip to content

Commit

Permalink
Add research interest
Browse files Browse the repository at this point in the history
  • Loading branch information
henrylee97 committed Sep 7, 2023
1 parent 0fb4b0a commit 789b9e9
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions content/members/hakjoo-oh.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,12 @@ url = 'https://korea.ac.kr'
cv = '/cv/hakjoo-oh.pdf'
+++

## Research Areas
Programming languages with applications to software engineering, security, and artificial intelligence:
- Program analysis for automatically detecting software bugs and vulnerabilities
- Program repair for automatically fixing buggy or vulnerable software
- Program synthesis for automatically writing programs on behalf of humans

## Educational Background

- 2007 ~ 2012, Ph.D. [Computer Science and Engineering](https://cse.snu.ac.kr/), [Seoul National University](https://www.snu.ac.kr/)
Expand Down

0 comments on commit 789b9e9

Please sign in to comment.