|Back to Faculty Directory|
Computer Science Department
1413 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400
Phone: (631) 632-8459
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.
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).
CSE 305, CSE 306, CSE 532, CSE 632, CSE 674