agdag

Author: wang-jingyi

_data/mscstudents.yml

@@ -55,3 +55,28 @@
   number_educ: 2
   education1: B.E., Zhejiang University of Technology
   education2: Intern at Ant Group
+
+
+- name: Songye Ma
+  photo: masongye.jpg
+  info: Master student, 2024 fall
+  email: 
+  number_educ: 1
+  education1: B.E., Harbin University of Technology
+  education2: 
+
+- name: Haiqing Lin
+  photo: linhaiqing.jpg
+  info: Master student, 2024 fall
+  email: 
+  number_educ: 1
+  education1: B.E., Hohai University
+  education2: 
+
+- name: Minghe Wang
+  photo: wangminghe.jpg
+  info: Master student, 2025 fall
+  email: 
+  number_educ: 1
+  education1: B.E., Zhejiang University
+  education2: 

_data/news.yml

@@ -1,15 +1,23 @@
+- date: Nov 2024
+  headline: ICFEM 2025 will be in Hangzhou, consider submitting your work! 
+
+- date: Oct 2024
+  headline: Prof. Wang will serve as the PC member of ACM CCS 2025, consider submitting your work!
+
+- date: Oct 2024
+  headline: One paper on TVM fuzzing is accepted by TOSEM, congrats to Xiangxiang!
 
 - date: May 2024
   headline: We release our safety evaluation benchmark (largest to date) for LLMs powered by automatic and adaptive test generation. See details at [Paper link](https://www.arxiv.org/abs/2405.14191), [Github link](https://github.com/IS2Lab/S-Eval), [HuggingFace Leaderboard Link](https://huggingface.co/spaces/IS2Lab/S-Eval).
 
 - date: Apr 2024
-  headline: Prof. Wang will serve as the PC member of ISSTA 2025, consider submitting your best work!
+  headline: Prof. Wang will serve as the PC member of ISSTA 2025, consider submitting your work!
 
 - date: Apr 2024
   headline: Jianan and Prof. Wang attended ICSE 2024 and presented our paper on verification guided synthesis for repairing deep neural networks!
 
 - date: Mar 2024
-  headline: Prof. Wang will serve as the PC member of ISSRE 2024 and ChinaSoft/FMAC 2024, consider submitting your best work!
+  headline: Prof. Wang will serve as the PC member of ISSRE 2024 and ChinaSoft/FMAC 2024, consider submitting your work!
 
 - date: Mar 2024
   headline: Xiaoxia was invited to give a talk on our survey paper on prompting frameworks for LLM at the AGI Leap Summit! Her work also won the Best Paper Award of the summit, congrats!
@@ -18,10 +26,10 @@
   headline: One paper on neural network debugging is accepted by ISSTA 2024, congrats to Jialuo!
 
 - date: Dec 2023
-  headline: Prof. Wang will serve as the PC member of ISSTA 2024, consider submitting your best work!
+  headline: Prof. Wang will serve as the PC member of ISSTA 2024, consider submitting your work!
 
 - date: Nov 2023
-  headline: Prof. Wang will serve as the PC member of ICSE 2025, consider submitting your best work!
+  headline: Prof. Wang will serve as the PC member of ICSE 2025, consider submitting your work!
 
 - date: Oct 2023
   headline: Prof. Wang will serve as the PC member of TASE 2024, ANT 2024 and ACNS/SiMLA 2024. 

_data/phdstudents.yml

@@ -94,18 +94,37 @@
 #   education2: Msc, University of Melbourne
 #   education3: 
 
+
+- name: Xiaolin Ma
+  photo: maxiaolin.jpg
+  info: PhD Student, 2025 fall
+  number_educ: 1
+  education1: B.E., Zhejiang University
+  education2: 
+  education3:
+
+- name: Yuchuan Fu
+  photo: fuyuchuan.jpg
+  info: PhD Student, 2025 fall
+  number_educ: 1
+  education1: B.E., Xi'an Jiaotong University
+  education2: 
+  education3:
+
 - name: Jianan Ma
   photo: jianan.jpg
-  info: PhD Exchange Student, 2023 fall
+  info: PhD Exchange Student from Hangdian University, 2023 fall
   number_educ: 2
   education1: B.E., Hangdian University
   education2: 1st author of ICSE 24
   education3: 
 
-- name: Yao Lu
-  photo: yao.jpg
-  info: PhD Exchange Student, 2021 fall
-  number_educ: 1
-  education1: B.E., Zhejiang University of Technology
-  education2:
-  education3: 
+
+
+# - name: Yao Lu
+#   photo: yao.jpg
+#   info: PhD Exchange Student, 2021 fall
+#   number_educ: 1
+#   education1: B.E., Zhejiang University of Technology
+#   education2:
+#   education3: 

_pages/home.md

@@ -6,16 +6,17 @@ sitemap: false
 permalink: /
 ---
 
-**About** The *Intelligent System Security (IS2) Lab* is a research lab 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 work lie in the intersection of formal methods, software engineering, artificial intelligence (AI) and safety/security. Specificaclly, 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.
+**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 systems or software.
+<!-- 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 exiciting research topics: -->
-The detailed research topics include:
+<!-- Specifically, we are working on the following existing research topics: -->
+The detailed research topics of our lab include:
 
-- Quality assurance/certification (testing, verification and repair, etc) of AI models (especially *large language models*) or AI-based systems/applications;
-- Model-based rigrous engineering of safety-cirtical software;
-- Verification of concurrent (reactive) systems, e.g., OS kernels and distributed control systems;
-- Verification of security protocols.
-<!-- - Other related topics like fuzzing, symbolic execution, runtime verification, etc. -->
+- SE4AI, e.g., testing, verification and repair of AI models or AI-based systems/applications;
+- Verification of concurrent (reactive) systems;
+- Verification of security protocols;
+- Other related topics like fuzzing, symbolic execution and runtime monitoring.
 
 
 <div markdown="0" id="carousel" class="carousel slide" data-ride="carousel" data-interval="4000" data-pause="hover" >
@@ -48,10 +49,11 @@ The detailed research topics include:
   </a>
 </div>
 
-**Collaborations** Our lab has established active collaborations with top universities like ETH, UC Berkeley, UIUC, National University of Singapore, etc. Moreover, we are also working closely with our industrial partners like Huawei, Alibaba and Ant Group to tackle real-world security challenges. 
+**Collaborations** Our lab aims to conduct research with practical relevance and impact by working closely with our industrial partners like Huawei, Alibaba and Ant Group. We are also actively collaborating with top universities like ETH, UC Berkeley, UIUC, University of Manchester, National University of Singapore, Singapore Management University, etc. 
+<!-- Moreover, we are also working closely with our industrial partners like Huawei, Alibaba and Ant Group to tackle real-world challenges.  -->
 
 
-**Vacencies** Our lab is always actively looking for self-motivated PostDoc/PhD/master/research assistants/research interns with competitive packages to join our group at ZJU to work on any of the above topics. Feel free to contact Prof. Wang with CV (and transcript for PhD/Master applications) if you are interested. 
+**Vacancies** Our lab is always actively looking for self-motivated PostDoc/PhD/master/research assistants/research interns with competitive packages to work with us at ZJU. Feel free to contact Prof. Wang with CV (and transcript for PhD/Master applications) if you are interested. We welcome candidates from diverse background to apply.
 <!-- Preferred PhD candidates should be good at programming or maths, and more importantly love doing research.  -->
 <!-- For ZJU students, kindly check out my Google Calendar if you wish to have a talk. -->
 

_pages/research.md

@@ -20,7 +20,7 @@ permalink: /research/
 <!-- ### ✅ Deep Learning System Security -->
 <br>
 
-#### ***Theme 1: Testing, Verification and Repair of AI Models or AI-based Systems***
+#### ***Theme 1: SE for Trustworthy AI: Testing, Verification and Repair of AI Models or AI-based Systems***
 <!-- **[TOSEM 22, ICSE 21, TACAS 21, ISSTA 21, ASE 20, ICECCS 20, ICSE 19]: Testing, Verifying and Enhancing the Robustness of Deep Learning Models** -->
 
 For AI models (e.g., large language models or deep learning models in general) or AI-based systems (e.g., autonomous cars), we are working towards *a systematic testing>verification>repair loop to comprehensively and automatically evaluate, identify and fix the potential risks hidden in multiple dimensions, e.g., robustness, fairness, safety and copyright.* This line of research is crucial for human beings to be aware of, manage and mitigate the risks in the emergence of diverse AI models and AI-based systems.  
@@ -33,10 +33,10 @@ For AI models (e.g., large language models or deep learning models in general) o
 <!-- <br> -->
 <br>
 
-#### ***Theme 2: System Software Testing or Verification for Industrial Safety-critical Systems***
+#### ***Theme 2: Testing, Verification and Security of Industrial Safety-critical Systems***
 <!-- **[TOSEM 22, ICSE 21, TACAS 21, ISSTA 21, ASE 20, ICECCS 20, ICSE 19]: Testing, Verifying and Enhancing the Robustness of Deep Learning Models** -->
 
-Software is the core driving force for the digital operation of industrial safety-critical systems (industrial control systems, autonomous systems, etc). It is thus crucial to formally verify the correctness of their software foundations (e.g., OS kernel, compilers, security protocols or control programs) for industrial safety-critical systems. In this line of research, we are working on *developing new logic foundations and specifications to better model, test and verify the desired safety or security properties in different system software layers (especially those commonly used in safety-critical industries).*   
+Software is the core driving force for the digital operation of industrial safety-critical systems (industrial control systems, autonomous systems, etc). It is thus crucial to formally verify their software foundations (e.g., OS kernel, compilers, security protocols or control programs) for industrial safety-critical systems. In this line of research, we are working on *developing new logical foundations and specifications to better model, test and verify the desired security properties in different system software layers (especially those commonly used in safety-critical industries).*   
 <!-- We are building systematic methodologies and toolkits 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. -->
 
 *Related publications: [TSE 24, AsiaCCS/CPSS 24, TSE 23, CCS 23, CONFEST/FMICS 23, FITEE 22, IoT 22, TSE 21, ICSE 18, DSN 18, STTT 18, FM 18, FASE 17, FM 16]*