Department of Computer Science
Stony Brook, NY 11794-2424
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.