Computer Science Department
1413 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400
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.