Professor Wei-Ngan Chin lectures at the POLITEHNICA BUCHAREST
Invited talk: Program Verification for Data Structures, Higher-Order Functions and Beyond Speaker: Wei-Ngan Chin, National University of Singapore Ph.D. (Computing, Imperial College of Science, Technology and Medicine) M.Sc. (Computer Science, University of Manchester) B.Sc. (Computer Science, Honours I, University of Manchester) RESEARCH INTERESTS Advanced Type Systems Program Analysis and Optimization Dependable Software Verification https://www.comp.nus.edu.sg/cs/people/chinwn/ At