Teaching is one of the most rewarding parts of my job: it's always satisfying to bring about a student's lightbulb moment, or to get them excited about the state-of-the-art. I also find that it makes me a better researcher, by keeping me grounded, and training me on finding the right abstractions to communicate technical ideas.
My teaching style is guided by the belief that actively engaged students learn more effectively. My classes mix mini-presentations with exercises, clicker questions, and interactive discussions, using these different modalities to keep the delivery engaging but also to help students consolidate their learning. I utilise elements of the flipped classroom to introduce technical concepts ahead of class. I also use technology (e.g. Piazza, Slack) to provide additional avenues both to seek help, and to learn by giving help.
I was honoured to win SMU's Most Promising Teacher Award in 2023.
I had the honour to work with:
PhD, ongoing | Haoyu Wang (co-supervised with Jun Sun) |
EngD, ongoing | Lisa Zhao (co-supervised with David Lo) |
EngD, ongoing | Shaofei Huang (co-supervised with Lwin Khin Shar) |
PhD, ongoing | Ivan Tan (co-supervised with Lingxiao Jiang) [SIGCSE'24] |
PhD, ongoing | Yang Sun (co-supervised with Jun Sun) [ICSE'24] [ICSE'24] [TSE'23] [ASE'22] |
PhD, 2019 | Yuqi Chen (co-supervised with Jun Sun) [ASE'19] [S&P'18] [DMCIS'17] [FM'16] |
PhD, 2016 | Alexey Kolesnichenko (co-supervised with Bertrand Meyer) [COMLAN'17] [GPCE'15] |
Master's, 2015 | Claudio Corrodi [FAC'18] [FASE'16] [GaM'15] |
as well as a number of excellent undergraduates, including: Jowett Chng (2024), Emmanuel Oh (2023), Ivan Tan Wei Han (2022-23), Daniel Varghese Hanley (2020-21), Chester Koh Boon Hong, Chung Wah Kit, and Sesilia Fenina Gunawan (all 2019-20).
SMU scale: 5 = Good; 6 = Very Good; 7 = Excellent
2019 | 10.009: Digital World [ ] 01.400/1: Capstone [ ] |
2018 | 10.009: Digital World [ 01.400/1: Capstone [ ] |
]
SUTD scale: 4 = Good; 5 = Very Good
2015 | 252-0239-00: Software Verification [my resources] 252-0268-00: Concepts of Concurrent Computation [my resources] |
2014 | 252-0239-00: Software Verification 252-0268-00: Concepts of Concurrent Computation |
2013 | 252-0239-00: Software Verification 263-2100-00: Research Topics in Software Engineering |
2012 | COM00005C: Mathematical Foundations of Computer Science |
I received a Vice-Chancellor's Teaching Award for my contributions at York.