C. R. RamakrishnanProfessor

Department of Computer Science Stony Brook University (SUNY) Stony Brook, NY 117944400 Phone: 6316328218 Fax: 6316328334 Email: 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.