CHIN Wei Nganمشاهده پروفایل
دانشیار
CHIN Wei Ngan is an Associate Professor at the Department of Computer Science, School of Computing, National University of Singapore (NUS). His academic credentials include a PhD in Computing from Imperial College of Science, Technology and Medicine (1990), an MSc in Computer Science from University of Manchester (1983), and a BSc (First Class Honours) in Computer Science from University of Manchester (1982). Research Focus His research spans several interconnected domains in computer science: Foundations of programming languages and advanced type systems Automated program verification and analysis techniques Dependable software construction methodologies Formal software specification models Programming language design principles Research Projects Automated Specification Discovery for Trusted Software (MoE Tier-2 funded) Security - Software Library Verification (NRF-funded) SLEEK: Entailment Prover for Separation Logic HIP: Program Verifier for Imperative Languages HIPO: Program Verifier for Object-Oriented Languages Fixpoint Calculator development Teaching He teaches CS2030 Programming Methodology II, focusing on modern programming paradigms and methodologies.








