C.R. Ramakrishnan

Contact Info Assistant Professor,
Computer Science Department
1420 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400
(631)632-8218
Email
Research Topics Logic programming, programming languages, verification
Teaching Summary CSE 219, CSE 304, CSE 307, CSE 505, CSE 526, CSE 637, CSE 645, CSE 651, CSE 653, CSE 655, CSE 675.02, CSE 691
Detailed Information http://www.cs.sunysb.edu/people/faculty/CRRamakrishnanAB.html
Home Page http://www.cs.sunysb.edu/~cram