@indiana.edu
Summer - 2007
- G700: Excellence In Teaching
- Y790: Independent Study (Topic: Workflow Construction)
Spring - 2007
- B652: Computer Models of Symbolic Learning
- B652: Correct Programming
- Y790: Independent Study (Topic: Workflow Construction)
Fall - 2006
- B581: Computer Graphics
- B619: Non-classical logics as generalized Galois logics
- B649: Pervasive Computing
Summer - 2006
- Y790: Independent Study (Topic: DJ-MIRI)
Spring - 2006
- B659: Web Mining
- I590: Organization of and Searching in Musical Information
- P515: Specification and Verification
- Y790: Independent Study (Topic: the SAL model checker)
Fall - 2005
- B501: Theory of Computing
- B521: Programming Language Principles
- B551: Elements of Artificial Intelligence
- B599: Teaching in Computer Science
