I.V. Ramakrishnan Professor Address Department of Computer Science Room 1421 Computer Science Building Stony Brook University Stony Brook, NY 11794-4440 Phone: (631) 632-8451            Fax: (631) 623-8334 E-mail: ram@cs.sunysb.edu Education Ph.D. in Computer Science, University of Texas at Austin, 1983 M.S. in Computer Science, Indian Institute of Science 1977 B. Tech. in Electronics and Communications Indian Institute of Technology, Kharagpur, 1975 Previous Appointments Assistant Professor, Department of Computer Science University of Maryland at College Park, 1983 – 1985. Past and Present Research Interests Automated Deduction - Logic Programming and its Applications (e.g. Formal Methods) Databases - Web Technologies Support by Funding Agencies and Industry  National Science Foundation Office of Naval Research Army Research Office Courses Taught CSE 303: Intro to Theory of Computation CSE 305: Principles of Database Systems CSE 394: Web Technologies CSE 532: Theory of Database Systems Publications/Patents Over 120 Conference and Journal articles Research Facilities Logic and Model Checking Lab