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'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' 13, Sp'12, Sp'08, Sp'00);
 CSE 505, Computing with Logic
(F'13, F'08, F'07, F'06, F'05, F'04, Sp'04, F'01);
 CSE 526, Principles of Programming Languages
(Sp'14, Sp'12, Sp'11, Sp'10, Sp'02, Sp'00).
 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 (F'09, Sp'09, F'08, Sp'04);

CSE 653, Seminar in Concurrency
(Sp'02);

Reading Group on Model Checking and Abstraction (Sp'00)
Special Events:
C. R. Ramakrishnan
Last modified: Sun Jan 26 14:23:55 EST 2014