C. R. RAMAKRISHNAN

Associate Professor
Ph.D., 1995, SUNY Stony Brook
Department of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794-4400
Phone: 631-632-8218
Fax: 631-632-8334
E-mail: cram at cs dot sunysb dot edu

Research:

Publications:

Research Groups:

Industrial Affiliations:

Teaching:

Spring 2008:
Fall 2007:

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.
Past conferences are listed here.

Last updated: Jan 30, 2008