PXZHANG

Introduction

I am a Research Scientist working in the System Analysis and Verification Group (SAV) of Singapore Management University, my recent research areas are software engineering and AI Testing & Verification.

Education

Research

System Analysis and Verification Group (SAV), Singapore Management University，2022.09-，AI Testing & Verification

Publication: “Boosting Adversarial Training in Safety-critical Systems through Boundary Data Selection”, Yifan Jia, Christopher M. Poskitt, *Peixin Zhang, Jingyi Wang, Jun Sun, and Sudipta Chattopadhyay, IEEE Robotics and Automation Letters (RA-L), 2023

“QuoTe: Quality-oriented Testing for Deep Learning Systems”, Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, and Peng Cheng, ACM Transactions on Software Engineering and Methodology (TOSEM), 2023

Intelligent Computing and Software Center (ICSOFT), Zhejiang University，2018.03-2022.06，AI Testing & Verification

Partners: Huawei, Singapore University of Technology and Design, Singapore Management University, National University of Singapore

Project: Research on Automatic Generation of Program Documents based on Deep Learning (NSFC)

Research Contents: Robustness of model(attack and defense); Fairness of model; Testing for model

Open Source Project: GuardAI, FairAI

Publication: “Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling”, Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, and Jinsong Dong, IEEE Transactions on Software Engineering (TSE), 2021

“White-box Fairness Testing through Adversarial Sampling”, Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jinsong Dong, and Ting Dai, Proceedings of the 42nd International Conference on Software Engineering (ICSE), Seoul, Republic of Korea, 2020 (ACM SIGSOFT Distinguished Paper, ACM SIGSOFT Research Highlight)

“Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing”, Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, and Peixin Zhang, Proceedings of the 41st International Conference on Software Engineering (ICSE), Montreal, Canada, 2019

Other Paper: “Detecting Adversarial Samples of Deep Neural Networks through Mutation Testing”, Jingyi Wang, Peixin Zhang, Pengfei Yang, Jun Sun, Dongxia Wang, and Xinyu Wang

System Analysis and Verification Group (SAV), Singapore Management University，2019.09-2020.09，AI Testing & Verification

Project: Fuzzing AI-Systems for Adversarial Sample Generation and Mitigation（Huawei）
Testing and Defending AI-Systems Holistically（Huawei）
Explaining AI with the Right Level of Abstraction（AISG）

Publication: “An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks”, Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, and Dai Ting, 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020

System Analysis and Verification Group, Singapore University of Technology and Design，2017.07-2017.10，Testing

Research Contents: Concolic testing; Symbolic execution; Generate test case by deep neural network

Open Source Project: Ziyuan

Publication: “Towards Optimal Concolic Testing”, Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, and Yun Lin, Proceedings of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, 2018 (ACM SIGSOFT Distinguished Paper)

Internship

Zhejiang Bangsun Technology Ltd.，2016.02-2016.09，Algorithm Engineer

Machine Learning Algorithm Library: Design the code structure and integrate the code, algorithm development, performance tuning, Model’s function development，etc

Management platform: Requirement document, operation manual, software copyright, patent application, etc; Testing

Data Analysis: Ctrip, Yeepay, Suning, etc

Survey: Credit checking industry, neural network open source project

Zhejiang Bangsun Technology Ltd.，2015.08-2015.10，Software Engineer

Web Crawler

Data Cleaning and Analysis

Awards

Skills

Computer: Good at JAVA and PYTHON, familiar with tensorfow, know C/C++, JSP and HTML, know OS and network, experience with tools such as MagicDraw, Git, MySQL and Office

English: IELTS 6.5

Others: Securities qualification of the Securities Association of China

Services

• Organizer: Large Model Safety Workshop (Singapore)
• Speaker: The 4th China Symposium on Metamorphic Testing Technology, ChinaSoft 2020, ICSE 2020
• Reviewer: TIFS, TOSEM, ICLR 2025, SCIS, RA-L, TNNLS, IST, TKDD, JSEP, JCST, SETTA 2023，ICSME 2021，SANER 2020, ICSME 2020, IROS 2024
• Volunteer: ATVA 2023, PRDC 2023, SANER 2019, NASAC 2019

Activities

“Dream Mentor Program” Volunteering Activities in City Yueqing，2015.02-2015.08，Co-Sponsors

Focus on the mental health development of the workers’ children

Help undergraduate born in Yueqing to repay their hometown

Build deep cooperation with government, schools and volunteer association

A total of 8 batches and more than 100 students participated in the activity

Winter Social Practice Group of Zhejiang University，2014.01-2014.02，Deputy Chief

Field research on the development of electrical industry in Liushi, Wenzhou, write research reports

Discuss face-to-face with senior managers of several top 500 companies

Research focus on e-commerce, internet of things and enterprise management

Basketball Association of Zhejiang University, 2013.09-2014.06, Deputy Head

Daily management of the association and organizing regular games

Organizing the “2013 Freshman Cup” basketball match, responsible for the management of referees

Hobbies

• Reading (Literature, Philosophy, History, Net Literature and etc)
• Basketball (Point Guard, participated in school and court basketball competitions many times)
• Travels (Writing travel notes on Mafengwo)
• Collection (Stamps, Commemorative Coins)
• Go Chess

Contact

Email1: pxzhang94@zju.edu.cn
Email2: pxzhang94@gmail.com
Email3: pxzhang94@qq.com