Aquinas Hobor: Teaching
Current
Data Structures and Algorithms I (CS 1020) (with Tan Sun Teck,
Ling Tok Wang, and Tan Tuck Choy Aaron)
Logic and Formal Systems (CS 3234) (with Chin Wei Ngan)
FYP: Le Xuan Bach
Contact me if interested in UROP, etc.
Previous courses
Fall 2010: Logic and Formal Systems (CS 3234) (with Martin
Henz)
Spring 2010: Topics in Computer Science III (CS 6282)
Spring 2010:
Foundation in Logic & AI (CS 5209) (with Martin Henz)
Fall 2009:
Logic and Formal Systems (CS 3234) (with Martin Henz)
Spring 2009:
Foundation in Logic & AI (CS 5209) (with P. S. Thiagarajan)
Previous UROP
Le Xuan Bach (Spring 2010-Fall 2011)