From a08be7cbc3076e759a1c21ecbeb9f7f4465358b3 Mon Sep 17 00:00:00 2001 From: Hakjoo Oh Date: Thu, 4 Jan 2024 14:42:53 +0900 Subject: [PATCH] update main page --- content/about/_index.md | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/content/about/_index.md b/content/about/_index.md index d7bfbd1..2569adf 100644 --- a/content/about/_index.md +++ b/content/about/_index.md @@ -7,25 +7,23 @@ weight = 10 {{< html-snippet >}}
-Software Analysis Laboratory
-conducts researches for
-SAFE and RELIABLE software. +Software Lab @ Korea University
{{< /html-snippet >}} {{< figure src="/images/members.jpg" width="100%" >}} + {{< callout markdown=true >}} -**We are always looking for motivated graduate/undergraduate students and postdocs to work with [our researches]({{< relref "/research" >}}).** +**We are always looking for motivated graduate/undergraduate students and postdocs. See [our research]({{< relref "/research" >}}).** {{< /callout >}} ## 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 +- Programming languages and compilers +- Software engineering +- Software security -## Contacts +## Contact - Prof. [Hakjoo Oh]({{< relref "/members/hakjoo-oh" >}}): (email) hakjoo_oh@korea.ac.kr