I am a faculty member in the School of Computing and Information Systems at Singapore Management University, where I am part of the System Analysis and Verification (SAV) group. I completed my PhD in 2014 at the University of York (UK), under the supervision of Detlef Plump. Before coming to Singapore, I was a postdoc for three years at ETH Zürich, where I worked with Bertrand Meyer.
My research broadly addresses the problem of engineering correct and secure software/systems. I have worked on techniques for testing/defending cyber-physical systems using fuzzing and machine learning, tools for analysing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs.
See my research for more.
|2021-22 Term 2||
IS213: Enterprise Solution Development
IS215: Digital Business - Technologies and Transformation
|2021-22 Term 1||
CS302: IT Solution Lifecycle Management
IS212: Software Project Management
See my teaching for more.
|2020||VSTTE, AST, AIoTS|
|2019||ICGT, GCM, AIoTS|
For my other activities, see here.