C. R. Ramakrishnan

Associate Professor

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-4400
Phone: 631-632-8218
Fax: 631-632-8334
E-mail: cram@cs.stonybrook.edu
Research Papers Teaching Conferences CV

Research:

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.

More...

Teaching:

Spring 2013: CSE 304 and CSE 504, Compiler Design (undergraduate and graduate)
Fall 2012: CSE 307, Principles of Programming Languages (undergraduate)
Spring 2013: CSE 504, Compiler Design (graduate)
CSE 526, Principles of Programming Languages (graduate)

Courses taught in the past are listed here.

Conferences:

I'm on the program committee for the following upcoming conferences: Recent conferences where I was on the program committee are listed here.
Last modified: Thu Jan 24 18:08:52 EST 2013