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 Mentees