Stony Brook University Logo Computer Science

C.R. Ramakrishnan

C.R. Ramakrishnan

Computer Science Department
Old Office: 1420 Computer Science
New CS Building Location: 233 Computer Science
Stony Brook University
Stony Brook, NY 11794-2424

(631) 632-8218
cram [at]


Logic Programming, Programming Languages, Verification.


C.R. Ramakrishnan received his Ph.D. in Computer Science from Stony Brook University in 1995, and M.Sc.(Tech) in Computer Science and M.Sc.(Hons) in Physics from Birla Institute of Technology and Science, Pilani, India in 1987.


C.R. Ramakrishnan's areas of research are logic programming and formal methods. He has 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. He works on various aspects of inference in logic programs, ranging from incremental evaluation to data structures and constraints. He also works on specification languages of concurrent systems, especially those that deal with mobile systems, and on model checking of such systems. His work also involves the application of model checking and program analysis techniques to computer security. His research has been consistently funded by grants from the NSF and the ONR.

At present he is working 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.


C.R. Ramakrishnan received National Science Foundation Faculty Early Career Award, Sept 1999 - Aug 2003; National Science Foundation Postdoctoral Research Associateship in Experimental Computer Science, Sept 1995 - Aug 1997; Catacosinos Fellowship for Excellence in Computer Science, SUNY at Stony Brook, Sept 1993 - May 1994.

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