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.
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-4400
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.
CSE 304 and
Compiler Design (undergraduate and graduate)
CSE 307, Principles of Programming Languages
CSE 504, Compiler Design
CSE 526, Principles of Programming Languages
Courses taught in the past are listed here.
I'm on the program committee for the following upcoming conferences:
Recent conferences where I was on the program committee are listed here.
- ICLP 2013:
29th International Conference on Logic Programming,
Istanbul, Turkey, August 2013.
- SPIN 2013:
International SPIN Symposium on Model Checking of Software,
Stony Brook, New York, July 2013.
Last modified: Thu Jan 24 18:08:52 EST 2013