[Home] [Course Info] [Personal Info] [Links]

Courses | Course Projects |

Courses

Spring 2003
Formal Semantics and Verification
NUM ANLY: INT/APP/QUAD/DIFF EQ

Fall 2002
Advanced Operating Systems
Submicron Device Physics and Technology

Spring 2002
Artificial Intelligence
Communication Networks

Fall 2001
Introduction to Operating Systems
Methods and techniques for parallel programming

Spring 2001
Introduction to VLSI Design
Dependable Computing
Programming languages

Fall 2000
Advanced Computer Architecture
Algorithms: Techniques & Theory

Back to Top

Course Projects


Back to Top