Ph.D. Student

School of Computing

National University of Singapore

Email:   cristina at comp.nus.edu.sg

Laboratory:   S15-06-17 (Programming Languages and Systems Lab)

Fall 2007

CS5215   Constraint Programming

Spring 2007

CS5219   Automated Software Validation

CS5218   Principles of Program Analysis

Fall 2006

CS6202   Advanced Topics in Programming Languages and Systems

Spring 2006

CS4271   Critical Systems and their Verification

CS5214   Design of Optimising Compilers

CS5270   Verification of Real Time Systems

Teaching:

Fall 2007

teaching assistant for CS2104, Programming Language Concepts (Lecturer: Prof. Wei-Ngan Chin)

Spring 2007

teaching assistant for CS2104, Programming Language Concepts (Lecturer: Prof. Wei-Ngan Chin)