Courses:
Fall 2004
COS 597B: Computer Security Foundations (Audit)
Fall 2002
COS432: Information Security (Audit)
Spring 2002
COS598E: Foundations of Language-Based Security
Fall 2001
COS496: Cryptography
Spring 2001
COS496: Automated Theorem Proving
COS320: Compiling Techniques
Fall 2000
COS510: Programming Languages
COS518: Advanced Operating Systems
COS487: Theory of Computation
Teaching Assistant:
COS111: Computers and Computing (Spring 2001)
COS318: Operating Systems (Fall 2000)
Last update: Sept 28, 2004.
Best viewed
with any browser.
check html
check css.