Siau-Cheng Khoo

Siau-Cheng Khoo is an Associate Professor at the Department of Computer Science, School of Computing, National University of Singapore (NUS). He serves as Co-Director of the Master of Science (Business Analytics) programme at the NUS Business Analytics Centre. His research focuses on program analysis, specification mining, software verification, and aspect-oriented programming.

Education: PhD in Computer Science from Yale University (1992).

Research Interests: His work spans scalable code analysis, bug signature mining, neural network verification, and software specification discovery. Key methodologies include static/dynamic program analysis, vector abstraction, and discriminative pattern mining for software dependability.

Recent Research Trends: Publications emphasize automated verification techniques (especially for neural networks), scalable refactoring detection, and mining-based bug diagnosis. Earlier work pioneered parameterized partial evaluation and functional aspect-oriented programming.

Grants & Supervision:

• vSCA: Scalable Code Analysis (AcRF Tier 1, 2014–2017, $130,000)
• Bug Signature Discovery (AcRF Tier 1, 2012–2015)
• Supervised 7 PhD and 6 MSc graduates; currently advising 1 PhD candidate.