C. R. RAMAKRISHNAN

Research:

• Formal Verification of Concurrent Systems
• Logic Programming
• Computer Security

Publications:

• Papers and manuscripts
• Talks

Research Groups:

• Vulnerability Analysis of Computer Systems
• The LMC Research Group
• Mobile Code Security

Industrial Affiliations:

• Medicine Rules Corporation, a developer of mental health software.
• XSB, Inc., specializing in data analysis, structuring and transformation.

Teaching:

Spring 2008:

• CSE 504, Compiler Design

Fall 2007:

• CSE 307, Principles of Programming Languages
• CSE 505, Computing with Logic

Past courses are listed here.

Conferences:

• TACAS 2009: Tools and Algorithms for the Construction and Analysis of Systems, York, UK, March 2009. http://cs.uni-muenster.de/vmcai09/
• VMCAI 2009: International Conference on Verification, Model Checking, and Abstract Interpretation, Savanna, GA, USA, January 2008.
• LOPSTR 2007: International Symposium on Logic-based Program Synthesis and Transformation, Valencia, Spain, July 2008.
• TACAS 2008:Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary, March/April 2008.