dasgasg dsag

Author: wang-jingyi

_pages/home.md

@@ -6,15 +6,15 @@ sitemap: false
 permalink: /
 ---
 
-**About** The *Intelligent System Security (IS2) Lab* is a research group led by [Prof. Jingyi Wang](https://wang-jingyi.github.io/) affiliated with the College of Control Science and Engineering, [Zhejiang University](https://www.zju.edu.cn/english/), Hangzhou, China. Our lab's research focuses on developing novel software engineering (SE) methodologies towards building more trustworthy AI models/systems/applications.
+**About** The *Intelligent System Security (IS2) Lab* is a research group led by [Prof. Jingyi Wang](https://wang-jingyi.github.io/) affiliated with the College of Control Science and Engineering, [Zhejiang University](https://www.zju.edu.cn/english/), Hangzhou, China. Our lab's research focuses on developing novel software engineering (SE) methodologies towards building more trustworthy AI models/systems/applications and more secure systems.
 <!-- developing novel software engineering techniques towards building more trustworthy AI or more secure systems and software. -->
 <!-- lie in the intersection of formal methods, software engineering, artificial intelligence (AI) and safety/security. Specifically, we aim to develop novel software engineering techniques (often from a formal methods perspective) towards building more trustworthy AI-based or safety-critical industrial systems or software. -->
 <!-- *provide certifiable (and ideally provable) reliability or security guarantees for practical intelligent or distributed systems* like autonomous driving car, industrial control system, blockchain system, etc. -->
 <!-- Specifically, we are working on the following existing research topics: -->
 The detailed research topics of our lab include:
 
 - Software engineering for trustworthy AI, e.g., testing, verification and repair of AI models or AI-based systems/applications;
-- AI safety, security and fairness;
+- AI safety, security and fairness, e.g., for LLMs and embodied intelligence;
 - Formal aspects of system security.
 
 

_pages/team.md

@@ -271,7 +271,7 @@ table th:nth-of-type(3) {
 
 | Who are they? | Role here | Where are they? |
 | :------------- |:-------------| :-----------|
-| Jialuo Chen | Co-supervised PhD student 2020-2025, Exchange PhD student@Oxford, SP 22<sup>1st author</sup>, TOSEM 22, ASE 24<sup>1st author</sup>, ISSTA 24<sup>1st author</sup>, etc | In Industry |
+| Jialuo Chen | Co-supervised PhD student 2020-2025, Exchange PhD student@Oxford, SP 22<sup>1st author</sup>, TOSEM 22<sup>1st author</sup>, ASE 24<sup>1st author</sup>, ISSTA 24<sup>1st author</sup>, etc | In Industry |
 | Shunkai Zhu | Co-supervised PhD student 2019-2025, TSE 24<sup>1st author</sup>, TSE/TOSEM 25<sup>1st author</sup>, etc | In Industry |
 | Xiangshan Gao | Co-supervised PhD student 2019-2024, ISSTA 24<sup>1st author</sup>, TDSC 24<sup>1st author</sup>, etc | In Huawei |
 | Fan Zhou | Master student 2021-2023, intern at Meituan, got multiple offers from various industry | In industry |