Courses Taught in the Past
- Undergraduate Courses:
- CSE 307, Principles of Programming Languages (F'07, F'06, Sp'06, F'05, Sp'95, F'04, F'03, Sp'01);
- CSE 219, Computer Science III (Sp'03, F'02, Sp'02);
- CSE 304, Compiler Design (F'00).
- Introductory Graduate Courses:
- CSE 505, Computing with Logic
(F'07, F'06, F'05, F'04, Sp'04, F'01);
- CSE 526, Principles of Programming Languages
(Sp'02, Sp'00);
- CSE 504, Compiler Design (Sp'08, Sp'00).
- Advanced Graduate Courses:
-
CSE 637, Program Semantics and Verification
(F'03);
-
CSE 655, Program Analysis
(F'01);
-
CSE 651, Logic in Computer Science
(Sp'01);
-
CSE 675, Advanced Logic Programming
(F'00);
-
CSE 691, Advanced Logic Programming
(Sp'05).
- Graduate Seminars:
-
CSE 645,
Seminar in Programming Languages (Sp'04);
-
CSE 653, Seminar in Concurrency
(Sp'02);
-
Reading Group on Model Checking and Abstraction (Sp'00)
Special Events: