C. R. RamakrishnanProfessor
|
Department of Computer Science Stony Brook University (SUNY) Stony Brook, NY 11794-2424 Phone: 631-632-8218 Fax: 631-632-8334 E-mail: cram@cs.stonybrook.edu |
Research | Papers | Teaching | Conferences | CV | |
At present I work on systems that combine statistical and logical knowledge: ways to represent such knowledge, perform inference over such knowledge and learn aspects of such knowledge. An application of such a combined statistical/logical system is the verification of probabilistic concurrent systems.
Spring 2014: | CSE 526, Principles of Programming Languages (graduate) |
Fall 2013: | CSE 307, Principles of Programming Languages (undergraduate) |
CSE 505, Computing with Logic (graduate) | |
Spring 2013: | CSE 304 and CSE 504, Compiler Design (undergraduate and graduate) |
Courses taught in the past are listed here.