.

Author: daoyuan14

_pages/about_cuifeng.md

@@ -1,5 +1,6 @@
 [Cuifeng Gao](https://scholar.google.com/citations?user=Tl5aamYAAAAJ&hl=en) is a final-year PhD student at the University of Science and Technology of China, one of the C9 universities. She obtained her Bachelor's degree from Nanjing Normal University (211). She expects to join AIS2Lab in Summer 2026 as a postdoctoral scholar and has been collaborating remotely since August 2025.
 
 She has published in TOSEM 2024, TOSEM 2025, ASE 2024, EMNLP 2025 Findings, and QRS 2025.
+She is a key contributor to the Stellar project.
 
 Her main research focus is on LLMs for verification and Web3 Fintech security.

_pages/about_haoyuan.md

@@ -0,0 +1,5 @@
+[Yixuan Yang](https://scholar.google.com/citations?hl=en&user=06muG4sAAAAJ) has been a remote intern at AIS2Lab since June 2025, supported by an open fund. He is pursuing his MSc degree at the University of Twente and EURECOM. He obtained his Bachelor's degree from Nanjing University of Science and Technology (211) in 2024.
+
+He has published in Computers & Security 2025.
+
+His main research focus is on MCP security and IoT security.

_pages/about_juantao.md

@@ -1,5 +1,6 @@
 [Juantao Zhong](https://p4stry.github.io/) has been a research assistant at AIS2Lab since August 2024. He obtained his MSc degree from Nanyang Technological University in 2024 and his Bachelor's degree from South China University of Technology (985) in 2022.
 
-He has published as first author in ASE 2025 and has assisted the PI with multiple grant proposals.
+He has published as first author in ASE 2025 and has assisted the PI with multiple grant proposals. 
+He is a key contributor to the HKUST TLIP project.
 
 His main research focus is on LLMs for cybersecurity, LLM compliance, and blockchain security.

_pages/about_wenxin.md

@@ -0,0 +1,5 @@
+[Wenxin Luo](https://github.com/Wenxin-LU0) has been a Research Assistant at AIS2Lab since September 2025. She obtained her MSc degree from City University of Hong Kong in 2025 and her Bachelor's degree from Beijing University of Technology (211) in 2023.
+
+She has published as first author in ICASSP 2025.
+
+Her main research focus is on LLM jailbreaking and AI safety.

_pages/about_yixuan.md

@@ -0,0 +1,5 @@
+[Haoyuan Li](https://github.com/GowayLee) has been a Remote Intern at AIS2Lab since October 2025, supported by an open fund. He is currently a final-year undergraduate student at Xiamen University Malaysia. He will pursue his Master's degree at the Institute of Computing Technology, Chinese Academy of Sciences in September 2026.
+
+He is a key contributor to the CCF-Huawei project.
+
+His main research focus is on (intelligent) program analysis.

_pages/team.md

@@ -16,21 +16,39 @@ profiles:
     more_info: >
       <p>PI of AIS2Lab</p>
   - align: left
-    image: pic_cuifeng.jpg
+    image: pic_cuifeng.jpeg
     content: about_cuifeng.md
-    image_circular: false # crops the image to make it circular
+    image_circular: false
     more_info: >
       <p>Incoming Postdoc</p>
   - align: left
     image: pic_placeholder.png
     content: about_juantao.md
-    image_circular: false # crops the image to make it circular
+    image_circular: false
     more_info: >
       <p>Research Assistant</p>
   - align: left
     image: pic_placeholder.png
     content: about_yufan.md
-    image_circular: false # crops the image to make it circular
+    image_circular: false
+    more_info: >
+      <p>Research Assistant</p>
+  - align: left
+    image: pic_wenxin.jpeg
+    content: about_wenxin.md
+    image_circular: false
     more_info: >
       <p>Research Assistant</p>
+  - align: left
+    image: pic_yixuan.jpeg
+    content: about_yixuan.md
+    image_circular: false
+    more_info: >
+      <p>Remote Intern</p>
+  - align: left
+    image: pic_haoyuan.jpeg
+    content: about_haoyuan.md
+    image_circular: false
+    more_info: >
+      <p>Remote Intern</p>
 ---