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, 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 Group Members and Mentees
Group Photos
Hiking Photo
Hiking on MacLehose Trail Section Two in 2024
Hiking Photo
Hiking on MacLehose Trail Section One in 2024