6 January 2025

Assoc. Prof. Kan Min Yen

Date

Vice Dean, Undergraduate Studies

certifies that

Formal Methods for Software Engineering

School of Computing

CHANG JING YAN

for AY2024/2025 Semester 1

has been awarded the certificate of outstanding performance in

and is placed among the top students in a class of 148 students