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 526, Principles of Programming Languages
CSE 307, Principles of Programming Languages
CSE 505, Computing with Logic
CSE 304 and
Compiler Design (undergraduate and graduate)
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.
- SPIN 2014:
International SPIN Symposium on Model Checking of Software,
San Jose, California, July 2014.
- PLP 2014:
Probabilistic logic programming 2014,
An ICLP workshop.
- HVCS 2014:
Workshop on Horn Clauses for Verification and Synthesis,
Vienna, Austria, July 2014.
Last modified: Sun Jan 26 14:29:24 EST 2014