Michael Kifer Professor Address Department of Computer Science Computer Science Building 1413 Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-8459            Fax: (631) 632-8334 E-mail: kifer@cs.stonybrook.edu Education Ph.D. in Computer Science, Hebrew University of Jerusalem, Israel, 1985 M.S. in Mathematics, Moscow University, Russia, 1976 Previous Appointments Stony Brook University, Associate Professor Stony Brook University, Assistant Professor University of Toronto, Visiting Associate Professor Past and Present Research Interests Workflow modeling and verification Knowledge representation Semantic Web Support by Funding Agencies and Industry National Science Foundation Department of Defense Courses Taught CSE 305: Principles of Database Systems CSE 306: Operating Systems CSE 352: Artificial Intelligence CSE 505: Computing with Logic CSE 532: Theory of Database Systems Honors and Awards 1999 Test of Time Award from ACM SIGMOD 2002 Test of Time Award from ACM SIGMOD 2002 Faculty Service Award Publications/Patents 15 Journal articles 45 Conference papers 4 Books (2 textbooks, 2 edited) Research Facilities Applied Logic Laboratory