C. R. Ramakrishnan
Location: (Stony Brook, Long Island, NY)
Personal Research Web Page: http://www.cs.sunysb.edu/~cram
Keywords: verification, formal methods, logic programming
Posted on: Tuesday, May 26th, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers
Research Interests:
My main research areas are concurrent system verification, security and logic programming. The long-term goal of my research is to simplify the construction of large, high-assurance– i.e., reliable, robust and secure– systems. In the near-term, my research is focused on assuring the security and correctness of safety-critical systems: network and operating system components, and database agents. I am currently developing techniques and tools for automated analysis and verification of concurrent, infinite-state systems. I am also interested in the synthesis of embedded systems (e.g. sensor networks) from high level specifications, and the analysis of such systems. I develop and use logic programming techniques to support this work. One instance of this is the recent work on incremental evaluation of logic programs, which has been used for implementing incremental program analyzers in general, and an incremental technique for constructing attack graphs for networks of computers from vulnerability information. My research is currently supported by several NSF grants and an ONR grant.
Contact Information:
Email: email obfuscated - click to reveal
Phone: +1 631 632 8218
