Profile Photo
First Name
C.R.
Last Name
Ramakrishnan
Designation
Professor and Graduate Program Director
People Type
Research Interests
Logic programming and formal methods
cram@cs.stonybrook.edu
Professor and Graduate Program Director
Logic programming and formal methods