|
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
|