9 January 2023

Professor Kan Min Yen

Date

Vice Dean, Undergraduate Studies

certifies that

Formal Methods for Software Engineering

School of Computing

SHERMAN NG WEI SHENG

for AY2022/2023 Semester 1

has been awarded the certificate of outstanding performance in

and is placed among the top student in a class of 124 students