Fall 2005
Digital Computer Design ( CSE 4381
Computer Arithmetic ( CSE 8351)

 

Spring 2005
Computer Architecture ( CSE 5381/7381)
Foundations on Formal Verification and Validation ( CSE 8389)
 
(guest lectures on Theorem Proving) 

 

Fall 2004
Digital Computer Design ( CSE 4381
Algorithm Engineering ( CSE 5350/7350)

Spring 2004
Digital Computer Design ( CSE 4381
Computer Architecture ( CSE 5381/7381)

Fall 2003
Discrete Mathematics with Algorithms ( CSE 3353
Computer Architecture ( CSE 5381/7381)
Computer Arithmetic ( CSE 8351)

Spring 2003
Algorithms for VLSI Design (CSE 5380/7380) 
Digital Computer Design (CSE 4381) 

Fall 2002
Discrete Mathematics with Algorithms (CSE 3353) 
Digital Computer Design (CSE 4381) 

Spring 2002
Computer Architecture (CSE 5381/7381) 

Fall 2001
Digital Computer Design (CSE 4381) 

Summer 2001
Hardware Design (Short Lecture Series), University of the Saarland 

Spring 2001
Microprocessor Architecture and Interfacing (CSE 5385/7385) 

Fall 2000
Digital Computer Design (CSE 4381) 

Spring 2000
Computer Architecture (CSE 5381/7381)
 
(guest lectures on Computer Arithmetic) 
Discrete Mathematics with Algorithms (CSE 3353)
 
(guest lectures on Graph Theory) 

Fall 1999
Theoretical Computer Science, University of the Saarland
             (assistance and guest lecture) 

Fall 1998
Seminar on Communication Systems, University of the Saarland 

Spring 1997
Seminar on Computer Arithmetic, University of the Saarland