Skip to content

Commit

Permalink
Update about page
Browse files Browse the repository at this point in the history
  • Loading branch information
henrylee97 committed Sep 8, 2023
1 parent 285cdc1 commit e88f622
Show file tree
Hide file tree
Showing 2 changed files with 15 additions and 8 deletions.
16 changes: 8 additions & 8 deletions content/about/_index.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,17 +15,17 @@ SAFE and RELIABLE<br>
software.
{{< /div >}}

## Professor

[Hakjoo Oh]({{< relref "/members/hakjoo-oh" >}})

## News

- We are always looking for motivated graduate/undergraduate students and postdocs to work with ([Introduction to our reasearch]({{< relref "/research" >}}))
{{< callout markdown=true >}}
**We are always looking for motivated graduate/undergraduate students and postdocs to work with [our researches]({{< ref "/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
- Program synthesis for automatically writing programs on behalf of humans

## Contacts

- Prof. [Hakjoo Oh]({{< relref "/members/hakjoo-oh" >}}): (email) hakjoo_oh@korea.ac.kr
7 changes: 7 additions & 0 deletions layouts/shortcodes/callout.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
<div class="text-center fs-5 border border-3 border-primary bg-primary-subtle py-4 my-4 rounded-4 px-3">
{{ if .Get "markdown" }}
{{ .Inner | markdownify }}
{{ else }}
{{ .Inner }}
{{ end }}
</div>

0 comments on commit e88f622

Please sign in to comment.