Skip to content

Commit d542a74

Browse files
committed
dagkkggk
1 parent 1afc5eb commit d542a74

File tree

4 files changed

+8
-5
lines changed

4 files changed

+8
-5
lines changed

_data/news.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
- date: Aug 2025
2+
headline: One paper is accepted by CCS 2025, congrats to Jianan!
3+
14
- date: May 2025
25
headline: Jialuo and Shunkai successfully defended their PhD thesis, congrats!
36

_data/phdstudents.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -126,7 +126,7 @@
126126
info: PhD Exchange Student from Hangdian University, 2023 fall
127127
number_educ: 2
128128
education1: B.E., Hangdian University
129-
education2: ICSE 24<sup>1st author</sup>, ICSE 25<sup>2nd author</sup>
129+
education2: ICSE 24<sup>1st author</sup>, CCS 25<sup>1st author</sup>, ICSE 25<sup>2nd author</sup>
130130
education3:
131131

132132

_pages/research.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ permalink: /research/
2525

2626
*We mean safe like nuclear safety as opposed to safe as in ‘trust and safety' - Ilya Sutskever*
2727

28-
Modern systems, including emerging AI models (e.g., deep neural networks and large language models), AI-based systems (e.g., autonomous cars, robots, etc) and AI-based applications (e.g., AI Chatbots, LLM agents, etc), are mostly built upon software, making it vital to ensure their trustworthiness from a software engineering perspective. In this line of research, we are working towards *a systematic testing, verification and repair framework* to evaluate, identify and fix the risks hidden in the AI models or AI-empowered systems, from different dimensions such as robustness, fairness, copyright and safety. This is crucial for stakeholders and AI-empowered industries to be aware of, manage and mitigate the safety and ethic risks in the new AI era.
28+
AI systems, including emerging AI models (e.g., deep neural networks and large language models), AI-based control systems (e.g., self-driving cars, robots, autonomous systems, etc) and AI-based applications (e.g., AI Chatbots, LLM agents, etc), are mostly built upon software, making it vital to ensure their trustworthiness from a software engineering perspective. In this line of research, we are working towards *a systematic testing, verification and repair framework* to evaluate, identify and fix the risks hidden in the AI models or AI-empowered systems, from different dimensions such as robustness, fairness, copyright and safety. This is crucial for stakeholders and AI-empowered industries to be aware of, manage and mitigate the risks in the new AI era.
2929

3030
<!-- including novel testing metrics correlated to robustness, test case generation methods, automatic verification and repair techniques to comprehensively test, verify and enhance the robustness of deep learning models deployed in various application scenarios, e.g., image classification, object detection and NLP. -->
3131

_pages/team.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -272,12 +272,12 @@ table th:nth-of-type(3) {
272272
| Who are they? | Role here | Where are they? |
273273
| :------------- |:-------------| :-----------|
274274
| Ziyu Mao | Master student 2022-2025, ICSE 25<sup>1st author</sup>, WWW 25<sup>Co-1st author</sup>, etc, intern at Ant Group | In NUS |
275-
| 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 |
275+
| 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>, 阿里星等offer, etc | In Huawei |
276276
| Shunkai Zhu | Co-supervised PhD student 2019-2025, TSE 24<sup>1st author</sup>, TSE/TOSEM 25<sup>1st author</sup>, etc | In Industry |
277-
| Xiangshan Gao | Co-supervised PhD student 2019-2024, ISSTA 24<sup>1st author</sup>, TDSC 24<sup>1st author</sup>, etc | In Huawei |
277+
| Xiangshan Gao | Co-supervised PhD student 2019-2024, ISSTA 24<sup>1st author</sup>, TDSC 24/25<sup>1st author</sup>, etc | In Huawei |
278278
| Fan Zhou | Master student 2021-2023, intern at Meituan, multiple offers from various industry | In industry |
279279
| Huizhong Guo | Master student 2021-2023, intern at Alibaba, ISSTA 23<sup>1st author</sup> | PhD student at ZJU |
280-
| Ziyan Zhao | Visiting student 2023| PhD student at ZJU |
280+
| Ziyan Zhao | Visiting PhD student 2023| PhD student at ZJU |
281281
| Yichun Gao | Research Assistant 2022, Participated in IEEE Standard on Robustness of NLP services | Full scholarship Master student at McMaster University |
282282
| Tinglan Peng | FYP student 2021, 3rd author of IEEE S&P 2022 | In industry |
283283
| Liyi Zhang | Research Intern 2020-2021 | Master student in Uni. of Waterloo |

0 commit comments

Comments
 (0)