diff --git a/_layouts/home.html b/_layouts/home.html index 01eb48b..e902c34 100755 --- a/_layouts/home.html +++ b/_layouts/home.html @@ -63,6 +63,8 @@

Research Interests

Currently, I am working on system software verification.

+
+

Biography

@@ -139,6 +141,12 @@

Teaching


+

Academic Activities

+ +

EuroSys 2025 (Shadow PC)

+ +
+

Misc.

Assigned CVEs: CVE-2023-50575, CVE-2023-50576, CVE-2023-50577, CVE-2024-22937