C. R. Ramakrishnan


Ph.D., Computer Science, Stony Brook University
M.Sc.(Tech.), Computer Science, BITS, Pilani, India
M.Sc.(Hons.), Physics, BITS, Pilani, India
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


My areas of research are logic programming and formal methods. I have worked, and continue to work, on the analysis of temporal properties of concurrent systems by encoding the system semantics as logical inference rules, and formulating the analysis problem as one of performing inference over these rules. I work on various aspects of inference in logic programs, ranging from incremental evaluation to data structures and constraints. I also work on specification languages of concurrent systems, especially those that deal with mobile systems, and on model checking of such systems. My work also involves the application of model checking and program analysis techniques to computer security. My research has been consistently funded by grants from the NSF and the ONR.

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.


I'm on the program committee for the following upcoming conferences and workshops: Recent conferences where I was on the program committee are listed here.
Last modified: Sun Jan 26 14:29:24 EST 2014