From 789b9e9799869573e18aa807055296a489126b58 Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Thu, 7 Sep 2023 08:49:46 +0000 Subject: [PATCH] Add research interest --- content/members/hakjoo-oh.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/content/members/hakjoo-oh.md b/content/members/hakjoo-oh.md index e417401..aedd6e2 100644 --- a/content/members/hakjoo-oh.md +++ b/content/members/hakjoo-oh.md @@ -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/)