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)

web site by Lucy Day Hobor ~ 2008-2011