C.R. Ramakrishnan

Rank/Position Title:

Associate Professor

Home Page:

http://www.cs.sunysb.edu/~cram

Date of original appointment to this faculty, followed by dates and ranks of advancement:

• 1997, Original Appointment
• 2003 Associate Professor

Degrees:

Conferences, workshops, and professional development:

Have attended numerous (over 30 since 1997) professional (research)

conferences and workshops. In 2003-2004 academic year, this includes:

• International Conference on Logic Programming (ICLP), Mumbai , India .
• Software Verification and Validation Workshop, Mumbai , India .
• International Conference on Formal Engineering Methods (ICFEM), Singapore .

Other related computing experience:

Department, college, and/or university committee membership:

• College Ranking Committee
• Department Ranking Committee
• Qualifier Exam Committee

Principal publications of the last five years. Give in standard bibliographic format:

• Ping Yang, C. R. Ramakrishnan, Scott A. Smolka, A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution, International, Journal on Software Tools for Technology Transfer (STTT), 2004.
• Beata Sarna-Starosta, C. R. Ramakrishnan, Constraint-Based Model Checking of Data-Independent Systems, International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science 2885, pages 579-598, Springer, 2003.
• Giridhar Pemmasani, Haifeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan, Online Justification for Tabled Logic Programs, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2916, pages 500--501, Springer, 2003.
• Diptikalyan Saha, C. R. Ramakrishnan, Incremental Evaluation of Tabled Logic Programs, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2916, pages 389-406, Springer, 2003.
• Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka, Evidence Explorer: A Tool for Exploring Model-Checking Proofs, Fifteenth International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 2725, pages 215--218, Springer, 2003.
• Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka, Model Checking and Evidence Exploration, IEEE Conference and Workshops on Engineering Computer Based Systems, pages 214--223, IEEE, 2003.
• Samik Basu, C. R. Ramakrishnan, Compositional Analysis for Verification of Parameterized Systems, Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 2619, pages 315--330, Springer, 2003.
• Ping Yang, C. R. Ramakrishnan, Scott A. Smolka, A Logical Encoding of the pi-calculus: Model Checking Mobile Processes Using Tabled Resolution, Verification, Model Checking and Abstract Interpretation (VMCAI), Lecture Notes in Computer Science 2575, pages 116--131, Springer, 2003.
• C. R. Ramakrishnan, R. Sekar, Model-Based Analysis of Configuration Vulnerabilities, Journal of Computer Security (JCS) 10(1 / 2), pages 189--209, 2002.
• Yifei Dong, C. R. Ramakrishnan, Beata Sarna-Starosta, Scott A. Smolka, Vacuity Checking in the Modal Mu-Calculus, Ninth International Conference on Algebric Methodology and Software Technology (AMAST), Lecture Notes in Computer Science 2422, pages 147--162, Springer, 2002.

Other scholarly activity: grants, sabbaticals, software development, etc.:

• A Deductive Engine for the Semantic Web'' National Science Foundation (IIS-0205376), 7/02--6/06. Principal Investigators: Michael Kifer, Annie Liu, C.R. Ramakrishnan, I.V. Ramakrishnan.
• ITR: Model Checking for Detecting Computer System Vulnerabilities'' National Science Foundation (IIS-0205376), 7/02--6/06. Principal Investigators: C.R. Ramakrishnan, I.V. Ramakrishnan, R. Sekar, Scott A. Smolka, Scott Stoller.
• ``Model Carrying Code: A New Paradigm for Mobile Code Security'', Office of Naval Research, 8/01-7/04. Principal Investigators: R. Sekar, C.R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka.
• ``Logic-Based Modeling, Analysis, and Implementation of Workflow Management Systems'', National Science Foundation (IIS-0072927), 10/00-9/03. Principal Investigators: Michael Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan.
• ``Demand Propagation in Tabled Logic Programming'', National Science Foundation (EIA-9901602), CISE Postdoctoral Associateship in Experimental Computer Science, 9/99-8/01. Principal Investigators: Michael Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan, David S. Warren.
• ``CAREER: Tabled Logic Programming for Verification and Program Analysis'', National Science Foundation (CCR-9876242), Faculty Early Career Award, 8/99--7/03. Principal Investigator: C.R. Ramakrishnan

Scientific, professional, and honor societies of which you are a member:

• Association for Computing Machinery
• Association for Logic Programming

Honors and awards:

Courses taught this and last academic year term-by-term

Academic advising:

• 5 (all Ph.D)
• Assigned advisor for 18 undergraduate students during 2004/2005 academic year.

Brief description of major research and scholarly activities:

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. The primary application area is in verifying security properties of mobile code. I develop and use logic programming techniques to support this work. With my students and other collaborators, I have built and released a verification tool called XMC that incorporates most of our research results. My research is currently supported by several NSF grants, including a CAREER grant, an ITR grant, and an ONR grant.