Regular biography
CHIN Wei Ngan is an Associate Professor in the Department of Computer Science at the National University of Singapore. His research areas include Programming Languages & Software Engineering, with specific interests in Programming Languages, Advanced Type Systems, Program Analysis and Optimization, and Dependable Software Verification. His research projects focus on Automated Verification for Imperative Higher-Order Programs, utilizing a novel specification logic called Staged Separation Logic (SSL). He has contributed to the development of SSL's handling of closures and general recursions/iterators, its ability to verify programs rejected by Rust's type systems, and the efficiency of solving proof obligations. CHIN also teaches courses such as CS2030 Programming Methodology II.
Scholar-generated biography
Wei-Ngan Chin is a researcher at the National University of Singapore, focusing on Programming Languages and Software Engineering. Their work explores automated verification techniques, particularly in separation logic, to analyze shape, size, and memory properties of programs. Key areas include automated lemma synthesis, program transformation, and memory resource bounds analysis. Chin's research also addresses modular verification, safe fusion of functional expressions, and termination specification inference. Their contributions aim to enhance program correctness and efficiency through formal methods and logical reasoning. Publications highlight advancements in bi-abduction, heap-based analysis, and symbolic-heap reasoning, emphasizing practical applications in software engineering.