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.
Current Students, Research Assistants, and Interns
- Shangyu Li
- Tiancheng Zhao
- Sizhe Zhong
- Juyong Jiang (co-supervised with Sunghun Kim at GZ campus)
- Siyu Chen (RA)
Former Group Members and Mentees
- Kuo Chen (HKUST UROP, 2023)
- Sirui Xie (HKUST UGVIS, 2023)
- Jerry Wu (MIT UROP and MEng, 2017-2018, with Martin Rinard)
- Varun Mangalick (MIT SuperUROP, 2017-2018, with Martin Rinard)
Group Photos
