From e88f6224f0fd44e8d06249800fe292cddb094722 Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Fri, 8 Sep 2023 04:53:15 +0000 Subject: [PATCH] Update about page --- content/about/_index.md | 16 ++++++++-------- layouts/shortcodes/callout.html | 7 +++++++ 2 files changed, 15 insertions(+), 8 deletions(-) create mode 100644 layouts/shortcodes/callout.html diff --git a/content/about/_index.md b/content/about/_index.md index d792e3e..d036f6d 100644 --- a/content/about/_index.md +++ b/content/about/_index.md @@ -15,17 +15,17 @@ SAFE and RELIABLE
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 \ No newline at end of file +- Program synthesis for automatically writing programs on behalf of humans + +## Contacts + +- Prof. [Hakjoo Oh]({{< relref "/members/hakjoo-oh" >}}): (email) hakjoo_oh@korea.ac.kr diff --git a/layouts/shortcodes/callout.html b/layouts/shortcodes/callout.html new file mode 100644 index 0000000..ec5fbf0 --- /dev/null +++ b/layouts/shortcodes/callout.html @@ -0,0 +1,7 @@ +
+{{ if .Get "markdown" }} + {{ .Inner | markdownify }} +{{ else }} + {{ .Inner }} +{{ end }} +
\ No newline at end of file