 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
C.R. Ramakrishnan
| Contact Info |
Assistant Professor, Computer Science Department 1420 Computer Science Stony Brook University Stony Brook, NY 11794-4400 (631)632-8218 |
|
| Research Topics | Logic programming, programming languages, verification | |
| Teaching Summary | CSE 219, CSE 304, CSE 307, CSE 505, CSE 526, CSE 637, CSE 645, CSE 651, CSE 653, CSE 655, CSE 675.02, CSE 691 | |
| Detailed Information | http://www.cs.sunysb.edu/people/faculty/CRRamakrishnanAB.html | |
| Home Page | http://www.cs.sunysb.edu/~cram | |
