| Current Teaching |
|
COMP 100
|
Introduction to Computing and Information Systems
|
|
(S10, F10, S11, F11, S12)
|
|
COMP 130
|
Elements of Algorithms and Computation
|
|
(S12)
|
|
COMP 200
|
Elements of Computer Science
|
|
(F10, S12)
|
|
COMP 600
|
Graduate Research Seminar
|
|
(F06, S07, F07, S08, F08, S09, F09, S10, F10, S11, F11, S12)
|
| Previous Teaching |
|
COMP 160
|
Introduction to Computer Gaming
|
|
(F09)
|
|
COMP 182
|
Algorithmic Thinking
|
|
(S11)
|
|
COMP 210
|
Principles of Computing & Programming
|
|
(F97, S98, F98, S99,
F99, S00, F00, S02,
S03, F03, F05)
|
|
COMP 212
|
Intermediate Programming
|
|
(S01)
|
|
COMP 280
|
The Mathematics of Computation
|
|
(S06, S07, S08, S09, S10)
|
|
COMP 320
|
Introduction to Computer Systems
|
|
(now, COMP 221)
|
| (previously, Introduction to Computer Organization)
|
|
(S98, S99, F99, F00, F01, F02, F03, F04)
|
|
COMP 400
|
Technical Communication in Computer Science
|
|
(S10)
|
|
COMP 481
|
Automata, Formal Languages, & Computability
|
|
(F97, F98, S00, S01, S02, S03, S04)
|
COMP 482 (ELEC 420)
|
Design & Analysis of Algorithms
|
|
(F01, F04, F05, F06, F07, F08, F11)
|
|
COMP 607
|
Automated Program Verification
|
|
(S04, S05)
|
|
ELEC 220
|
Fundamentals of Computer Engineering
|
|
(S05)
|
|
|
|