minor

wang-jingyi · wang-jingyi · commit 8d2013227f85 · 2025-02-15T16:32:16.000+08:00
diff --git a/_data/news.yml b/_data/news.yml
@@ -1,5 +1,5 @@
 - date: Jan 2025
-  headline: One paper is accepted by WWW 2025, congrats to Xinyao and Ziyu! 
+  headline: One paper is accepted by WWW 2025, congrats to Xinyao! 
 
 - date: Jan 2025
   headline: Two papers are accepted by ICSE 2025, congrats to Ziyu and Zhiming! 
diff --git a/_pages/home.md b/_pages/home.md
@@ -14,6 +14,7 @@ permalink: /
 The detailed research topics of our lab include:
 
 - Software engineering for trustworthy AI systems, e.g., testing, verification and repair of AI models or AI-based systems/applications;
+- AI safety, security and fairness;
 - Formal analysis of system or software security;
 - Formal design and analysis of security protocols;
 - Other related topics like fuzzing, symbolic execution, concolic testing and runtime verification.
