Profile Photo
First Name
C.R.
Last Name
Ramakrishnan
Designation
Professor
People Type
Research Interests
Logic Programming, Programming Languages, Verification
cram@cs.stonybrook.edu
Professor
Logic Programming, Programming Languages, Verification