Open Positions
- PhD and MPhil students: Please read this page if you are interested in joining our group.
- Research assistants: We are seeking research assistants with strong programming skills to help us enhance early-stage research ideas and make a broader impact. Please email Dr. Shen for more information about this opportunity.
- Undergraduate researchers at HKUST: Our group has UROP positions from time to time. Please email Dr. Shen for approval before submitting the official UROP application.
- Undergraduate visiting interns: HKUST has a visiting internship program for undergraduate students from other institutions to conduct research at HKUST for several months. Our group has UGVIS positions available. Please email Dr. Shen for approval before submitting the official UGVIS application.
The HKUST Automated Reasoning and Transformation of Software Research Group
The HKUST Automated Reasoning and Transformation of Software research group, led by Jiasi Shen, aims to address software-related challenges by creating automated techniques for analyzing and transforming computer programs. We are a part of the Software Engineering and Programming Languages community in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology.
We would like to thank the sponsors who have generously supported our research.
PhD Students
- Shangyu Li
- Sizhe Zhong
- Juyong Jiang (co-supervised with Sunghun Kim at GZ campus)
- Huiri Tan
- Jialu Yang
- Jingyi Chen (co-supervised with Shing-Chi Cheung)
MPhil Students
Research Assistants
- Jiaze Wang
Undergraduate Interns
- Zhaoyang Zhang (HKUST-USTC summer intern)
- Kuo Chen (UROP)
- Chenqi Liu (UROP)
- Puyang Zhang (UROP)
- Yuhua Zhao (UROP)
Former Group Members and Mentees
- Siyu Chen (RA, 2023-2024), next: PhD student at Purdue
- Tiancheng Zhao (postgraduate student, 2023-2024), next: graduate student at Georgia Tech
- Chaobo Jia (UGVIS, 2024)
- Sirui Xie (UGVIS, 2023)
- Jerry Wu (MIT UROP and MEng, 2017-2018, with Martin Rinard)
- Varun Mangalick (MIT SuperUROP, 2017-2018, with Martin Rinard)
Group Photos
