Update people and description

richwill28 · richwill28 · commit ff2fe1f10a52 · 2025-09-24T12:20:11.000+08:00
diff --git a/content/_index.md b/content/_index.md
@@ -25,26 +25,22 @@ sections:
       # image:
       #   filename: welcome.jpg
       text: |
-        We are a research group in the [Programming Languages & Software Engineering lab](https://nus-plse.github.io) in the [National University of Singapore](https://nus.edu.sg).
-
+        We are a research group in the [Programming Languages & Software Engineering lab](https://nus-plse.github.io) at the [National University of Singapore](https://nus.edu.sg).
 
         ### Interests
         Theoretical foundations of computer systems, with a current focus on:
           1. Dynamic analysis algorithms for detecting concurrency bugs
           2. Fuzz testing for concurrent software
           3. Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
 
-        ### Projects
-        We are currently working on implementing some of our proposed algorithms into ThreadSanitizer. You can follow the progress in our [blog](/blog).
+        ### Reading Groups
+        We currently run a reading group on the [Lean theorem prover](https://lean-lang.org/), which is held once every week on Wednesday 1-2pm. You may contact [Richard](mailto:richardw@u.nus.edu) if you are interested to join.
 
         ### Sponsors/Grants
         Our work is/was supported by the following sponsors/grants:
           1. Singapore Ministry of Education (MoE) Academic Research Fund (AcRF) Tier 1 grant.
           2. National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing \<NRF-NCR25-Fuzz-0001\>).
 
-        ### Reading Groups
-        We currently run an [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) reading group once every 2 weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
-
   # - block: markdown
   #   content:
   #     title:
diff --git a/content/authors/an.jun.lim/_index.md b/content/authors/an.jun.lim/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: An Jun Lim
+
+# Full name (for SEO)
+first_name: An Jun
+last_name: Lim
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/an.jun.lim/avatar.png b/content/authors/an.jun.lim/avatar.png
diff --git a/content/authors/andrew.daniel.janong/_index.md b/content/authors/andrew.daniel.janong/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Andrew Daniel Janong
+
+# Full name (for SEO)
+first_name: Andrew Daniel
+last_name: Janong
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/andrew.daniel.janong/avatar.png b/content/authors/andrew.daniel.janong/avatar.png
diff --git a/content/authors/arsyad.kamili/_index.md b/content/authors/arsyad.kamili/_index.md
@@ -9,8 +9,10 @@ last_name: Kamili
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Undergraduate Students
+  - Alumni
 
 link: https://kamiliarsyad.com/
 
+alumni: BComp, 2025
+
 ---
diff --git a/content/authors/bryan.lim/_index.md b/content/authors/bryan.lim/_index.md
@@ -9,6 +9,8 @@ last_name: Lim
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Undergraduate Students
+  - Alumni
+
+alumni: BComp, 2025
 
 ---
diff --git a/content/authors/daniel.lim/_index.md b/content/authors/daniel.lim/_index.md
@@ -9,10 +9,12 @@ last_name: Lim
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Research Assistants
+  - Alumni
 
 link: https://daniellim.ws
 
+alumni: Research Assistant, 2024-25
+
 social:
   - icon: orcid
     icon_pack: fab
diff --git a/content/authors/dasco.gabriel/_index.md b/content/authors/dasco.gabriel/_index.md
@@ -11,6 +11,6 @@ last_name: Gabriel
 user_groups:
   - Alumni
 
-alumni: BComp, 2023
+alumni: BComp, 2024
 
 ---
diff --git a/content/authors/david.zhu/_index.md b/content/authors/david.zhu/_index.md
@@ -9,6 +9,8 @@ last_name: Zhu
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Undergraduate Students
+  - Alumni
+
+alumni: BComp, 2025
 
 ---
diff --git a/content/authors/dick.ong/_index.md b/content/authors/dick.ong/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Dick
+
+# Full name (for SEO)
+first_name: Dick
+last_name: Ong
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/dick.ong/avatar.png b/content/authors/dick.ong/avatar.png
diff --git a/content/authors/guk.yi.siong/_index.md b/content/authors/guk.yi.siong/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Guk Yi Siong
+
+# Full name (for SEO)
+first_name: Yi Siong
+last_name: Guk
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/guk.yi.siong/avatar.png b/content/authors/guk.yi.siong/avatar.png
diff --git a/content/authors/ho.wei.haw/_index.md b/content/authors/ho.wei.haw/_index.md
@@ -12,6 +12,7 @@ user_groups:
   - Alumni
 
 link: https://www.linkedin.com/in/ho-wei-haw-635389168/
+
 alumni: BComp, 2023
 
 ---
diff --git a/content/authors/hong.jung.woo/_index.md b/content/authors/hong.jung.woo/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Hong Jung Woo
+
+# Full name (for SEO)
+first_name: Jung Woo
+last_name: Hong
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/hong.jung.woo/avatar.png b/content/authors/hong.jung.woo/avatar.png
diff --git a/content/authors/hongyi.huang/_index.md b/content/authors/hongyi.huang/_index.md
@@ -11,6 +11,6 @@ last_name: Huang
 user_groups:
   - Alumni
 
-alumni: BComp, 2024
+alumni: BComp, 2025
 
 ---
diff --git a/content/authors/hua.jun.teow/_index.md b/content/authors/hua.jun.teow/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Hua Jun Teow
+
+# Full name (for SEO)
+first_name: Hua Jun
+last_name: Teow
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/hua.jun.teow/avatar.png b/content/authors/hua.jun.teow/avatar.png
diff --git a/content/authors/huan.zhao/_index.md b/content/authors/huan.zhao/_index.md
@@ -11,4 +11,11 @@ last_name: Zhao
 user_groups:
   - PhD Students
 
+link: https://zhaohuanqdcn.github.io/
+
+social:
+  - icon: orcid
+    icon_pack: fab
+    link: https://orcid.org/0009-0004-6412-0666
+
 ---
diff --git a/content/authors/huan.zhao/avatar.jpg b/content/authors/huan.zhao/avatar.jpg
diff --git a/content/authors/illio.suardi/_index.md b/content/authors/illio.suardi/_index.md
@@ -12,6 +12,7 @@ user_groups:
   - Alumni
 
 link: https://www.linkedin.com/in/illio-suardi-537b56210/
+
 alumni: BComp, 2023
 
 ---
diff --git a/content/authors/ivan.tan/_index.md b/content/authors/ivan.tan/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Ivan
+
+# Full name (for SEO)
+first_name: Ivan
+last_name: Tan
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/ivan.tan/avatar.png b/content/authors/ivan.tan/avatar.png
diff --git a/content/authors/jed.koh/_index.md b/content/authors/jed.koh/_index.md
@@ -9,8 +9,10 @@ last_name: Koh
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Undergraduate Students
+  - Alumni
 
 link: https://www.comp.nus.edu.sg/~jedkjk/
 
+alumni: BComp, 2026
+
 ---
diff --git a/content/authors/jeffrey.lee/_index.md b/content/authors/jeffrey.lee/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Jeffrey Lee
+
+# Full name (for SEO)
+first_name: Jeffrey
+last_name: Lee
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/jeffrey.lee/avatar.png b/content/authors/jeffrey.lee/avatar.png
diff --git a/content/authors/michael.schwarz/_index.md b/content/authors/michael.schwarz/_index.md
@@ -0,0 +1,21 @@
+---
+# Display name
+title: Michael Schwarz
+
+# Full name (for SEO)
+first_name: Michael
+last_name: Schwarz
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Research Fellows
+
+link: https://michael-schwarz.github.io/
+
+social:
+  - icon: orcid
+    icon_pack: fab
+    link: https://orcid.org/0000-0002-9828-0308
+
+---
diff --git a/content/authors/michael.schwarz/avatar.jpg b/content/authors/michael.schwarz/avatar.jpg
diff --git a/content/authors/ramanathan.kumarappan/_index.md b/content/authors/ramanathan.kumarappan/_index.md
@@ -9,6 +9,8 @@ last_name: Kumarappan
 # Organizational groups that you belong to (for People widget)
 #   Set this to `[]` or comment out if you are not using People widget.
 user_groups:
-  - Undergraduate Students
+  - Alumni
+
+alumni: BComp, 2025
 
 ---
diff --git a/content/authors/richard.willie/_index.md b/content/authors/richard.willie/_index.md
@@ -14,7 +14,7 @@ user_groups:
 
 link: https://www.richwill.dev/
 
-alumni: BComp, 2023
+alumni: BComp, 2024
 
 social:
   - icon: orcid
diff --git a/content/authors/theodore.lim/_index.md b/content/authors/theodore.lim/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Theodore Lim
+
+# Full name (for SEO)
+first_name: Theodore
+last_name: Lim
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/theodore.lim/avatar.png b/content/authors/theodore.lim/avatar.png
diff --git a/content/authors/wern.lim/_index.md b/content/authors/wern.lim/_index.md
@@ -0,0 +1,16 @@
+---
+# Display name
+title: Wern Lim
+
+# Full name (for SEO)
+first_name: Wern
+last_name: Lim
+
+# Organizational groups that you belong to (for People widget)
+#   Set this to `[]` or comment out if you are not using People widget.
+user_groups:
+  - Undergraduate Students
+
+alumni: BComp, 2026
+
+---
diff --git a/content/authors/wern.lim/avatar.png b/content/authors/wern.lim/avatar.png
diff --git a/content/authors/zheng.han.lee/_index.md b/content/authors/zheng.han.lee/_index.md
@@ -11,6 +11,6 @@ last_name: Lee
 user_groups:
   - Alumni
 
-alumni: BComp, 2023
+alumni: BComp, 2024
 
 ---
