Michael Kifer

Michael Kifer

Department of Computer Science
Room 235
Stony Brook, NY 11794-2424

(631) 632-8459
kifer [at] cs.stonybrook.edu


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


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.


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.


In 2014 Dr. Kifer received Department Research Excellence Award. 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. In 2014, he received a Research Excellence Award from the Computer Science Department of Stony Brook. Dr. Kifer also serves on the editorial boards of several computer science journals and has chaired a number of conferences. In 2012, Kifer was elected as the President of the Rules and Reasoning Association (RRA).

Teaching Summary

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