Open Positions
- PhD and MPhil students: Please read this page if you are interested in joining our group in 2024.
- Research assistants: We are looking for a research assistant to design and conduct empirical studies, details here.
- UG researchers at HKUST: Our group has UROP positions from time to time. Please first email Dr. Shen for approval before submitting the official UROP application.
- UG visiting interns: HKUST has a visiting internship program for undergraduate students from other institutions to conduct research at HKUST for up to six months. Our group has UGVIS positions for 2024. Please first 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, is 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.
The group aims to address software-related challenges by creating automated techniques for reasoning about and transforming computer programs.
Current Students, Research Assistants, and Interns
Former Mentees
- Jerry Wu (MIT UROP and MEng, 2017-2018, with Martin Rinard): Using dynamic analysis to infer Python programs and convert them into database programs
[Onward!'19]
- Varun Mangalick (MIT SuperUROP, 2017-2018, with Martin Rinard): Inference and generation of HTTP based web application program interfaces
[Onward!'18]