C.R. Ramakrishnan Assistant Professor Address Department of Computer Science Computer Science Building, Rm 1420 Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-8218 Fax: (631) 632-8334 Email: cram@cs.sunysb.edu Education Ph.D. in Computer Science, Stony Brook University, 1995 M.Sc.(Tech) in Computer Science and M.Sc.(Hons) in Physics Birla Inst. of Tech. and Science, Pilani, India, 1987 Past and Present Research Interests Formal Methods - Logic Programming - Programming languages Program analysis - Computer Security Support by Funding Agencies and Industry  National Science Foundation - Office of Naval Research - XSB, Inc. - Medicine Rules, Inc. Courses Taught CSE 219: Computer Science III CSE 304: Compiler Design CSE 307: Principles of Programming Languages CSE 504: Compiler Design CSE 505: Computing with Logic CSE 526: Principles of Programming Languages CSE 653: Seminar in Concurrency CSE 651: Logic in Computer Science CSE 655: Program Analysis CSE 659: Computer Security CSE 675: Advanced Logic Programming Honors and Awards NSF Faculty Early CAREER award (1998-2003) Publications/Patents 6  Journal articles 39 Refereed conference papers 10 Refereed workshop papers 4  Invited papers 1  Book (co-editor) Research Facilities Applied Logic Laboratory