Open Positions
- 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.
- Visiting interns: HKUST has visiting internship programs for undergraduates and postgraduates from other institutions to conduct research at HKUST for several months. Our group has UGVIS and PGVIS positions available. Please email Dr. Shen for approval before submitting the official UGVIS or PGVIS application.
The Software Automation Research Group at HKUST
The Software Automation 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)
- Zhaoyang Zhang
- Ahmed Zaher (co-supervised with Amir Goharshady)
- Kerim Kochekov (co-supervised with Amir Goharshady)
- Pavel Hudec (co-supervised with Amir Goharshady)
- Meibo Ren
- Tanapoom Sermchaiwong
- Yikun Wang
MPhil Students
- Chenqi Liu
Research Assistants
Undergraduate Interns
Former Group Members and Mentees
Graduated Students
- Tanapoom Sermchaiwong, MPhil 2026, now a PhD student in our group
- Soroush Farokhnia, PhD 2026 (co-supervised with Amir Goharshady)
- Xuran Cai, MPhil 2025 (co-supervised with Amir Goharshady)
- Zhaorun Lin, MPhil 2025 (co-supervised with Amir Goharshady)
Postgraduate Researchers
- Meibo Ren (RA, 2025-2026), now a PhD student in our group
- Kuo Chen (UROP, 2023-2024; RA, 2025-2026)
- Yichuan Li (PGVIS, 2025)
- Jiaze Wang (RA, 2024-2025)
- Siyu Chen (RA, 2023-2024), next: PhD student at Purdue
- Tiancheng Zhao (postgraduate student, 2023-2024), next: graduate student at Georgia Tech
Undergraduate Researchers
- Jiayi Qian (UROP, 2025-2026)
- Junping Wang (UROP, 2025-2026)
- Ivan (Yin Fung) Lok (UROP, 2025)
- Li Zhang (UROP, 2025)
- Puyang Zhang (UROP, 2024-2025)
- Xiaoyan Guo (HKUST-USTC summer intern, 2025), next: PhD student at UVA
- Yikun Wang (UGVIS, 2025), now a PhD student in our group
- Zhaoyang Zhang (HKUST-USTC summer intern, 2024), now a PhD student in our group
- Chenqi Liu (UROP, 2024), now an MPhil student in our group
- Yuhua Zhao (UROP, 2024)
- 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
