| Teaching |
|
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)
|
|
COMP 320
|
Introduction to Computer Organization
|
|
(S98, S99, F99, F00, F01, F02, F03, F04)
|
|
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)
|
|
COMP 600
|
Graduate Research Seminar
|
|
(F06, S07, F07, S08)
|
|
COMP 607
|
Automated Program Verification
|
|
(S04, S05)
|
|
ELEC 220
|
Fundamentals of Computer Engineering
|
|
(S05)
|
|
| Academic Advising |
| Advising materials: |
Rice,
Engineering,
Computer Science
|
| Course materials: |
General Announcements,
Registrar
|
| Miscellaneous: |
Academic calendars
|
|
| Graduate Mentoring |
How to design a research poster
|
|
| Research |
|
TeachLogic,
Older research
|
|
|
|
