update main page

content/about/_index.md

@@ -7,25 +7,23 @@ weight = 10
 
 {{< html-snippet >}}
 <div class="fs-2 fw-bold text-center mb-3">
-<span class="text-primary">Software Analysis Laboratory</span><br>
-conducts researches for<br>
-<span class="text-primary">SAFE and RELIABLE</span> software.
+<span class="text-primary">Software Lab @ Korea University</span><br>
 </div>
 {{< /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) [email protected]