Jiasi Shen

Pronunciation

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
Former Group Members and Mentees
Group Photos
Hiking Photo
Hiking in Lion Rock Country Park in 2024
Hiking Photo
Hiking on MacLehose Trail Section Two in 2024
Hiking Photo
Hiking on MacLehose Trail Section One in 2024