Courses Taught
- Undergraduate Courses:
- CSE 219, Computer Science III (Sp'03, F'02, Sp'02);
- CSE 304, Compiler Design (Sp'13, F'09, F'08, F'00);
- CSE 307, Principles of Programming Languages (F'18,
F'14, F'13, F'12, F'11, F'10, F'07, F'06, Sp'06, F'05, Sp'95, F'04, F'03, Sp'01).
- Graduate Courses:
- CSE 504, Compiler Design (Sp'16, Sp'13, Sp'12, Sp'08, Sp'00);
- CSE 505, Computing with Logic
(F'22, F'21, F'20, F'16, F'14, F'13, F'08, F'07, F'06, F'05, F'04, Sp'04, F'01);
- CSE 526, Principles of Programming Languages
(Sp'20, Sp'19, Sp'18, Sp'14, Sp'12, Sp'11, Sp'10, Sp'02, Sp'00).
- CSE 583, Computer Science Fundamentals: Programming
Abstractions (Sp'24).
- Advanced Graduate Courses:
-
CSE 637, Program Semantics and Verification
(F'03);
-
CSE 651, Logic in Computer Science
(Sp'01);
-
CSE 655, Program Analysis
(F'01);
-
CSE 670, Special Topics in Languages
(Sp'09);
-
CSE 675, Advanced Logic Programming
(F'00);
-
CSE 691, Advanced Logic Programming
(Sp'05).
- Graduate Seminars:
-
CSE 641,
Seminar in Logic in Computer Science (F'09)
-
CSE 645,
Seminar in Programming Languages Numerous times since Spring'04);
-
CSE 653, Seminar in Concurrency
(Sp'02);
-
Reading Group on Model Checking and Abstraction (Sp'00)
Special Events:
C. R. Ramakrishnan
Last modified: Thu Oct 31 16:21:01 EDT 2024