Stony Brook University Logo Computer Science

Michael Kifer

Back to Faculty Directory

Michael Kifer
Professor
Computer Science Department
1413 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400

Phone: (631) 632-8459
Website: http://www.cs.stonybrook.edu/~kifer
Email

INTERESTS

Declarative Languages for Data and Knowledge Manipulation, The Semantic Web, Integration of Object-oriented and Deductive Paradigms, Object-oriented Databases, Query Optimization, Logic Programming, and Artificial Intelligence

BIOGRAPHY

Michael Kifer has his Ph.D. of Computer Science from Hebrew University of Jerusalem Israel in 1985 and M.S. of Mathematics from Moscow University of Russia in 1976.

RESEARCH

In over 30 years of his research career, Dr. Kifer has made significant breakthroughs in the areas of databases, logic programming, knowledge representation, and semantic web. He has published four text books and numerous articles in these areas. He co-invented F-logic, HiLog, Annotated Logic, and Transaction Logic, for which he received several awards and which became some of the most widely cited works in his area of research. With his students, Dr. Kifer developed a sophisticated knowledge representation and reasoning system Flora-2 and has made significant contributions to other important software projects.

AWARDS & ACTIVITIES

Twice, in 1999 and 2002, Dr. Kifer was a recipient of the prestigious ACM-SIGMOD "Test of Time" awards for his works on F-logic and object-oriented database languages. In 2002, Kifer also received a Faculty Service award and in 2006 he was a Plumer Fellow at Oxford University's St. Anne's College. In 2008 he received SUNY Chancellor's and Stony Brook President's awards for Excellence in Scholarship. In 2013, Dr. Kifer received yet another prestigious award: The 20-year "Test of Time" award from the Association for Logic Programming for his work on Transaction Logic. Dr. Kifer also serves on the editorial boards of several computer science journals and has chaired a number of conferences. In 2012, Kifer has been elected as the President of the Rules and Reasoning Association (RRA).

TEACHING SUMMARY

CSE 305, CSE 306, CSE 532, CSE 632, CSE 674