Michael Kifer

Michael Kifer is a Professor in the Department of Computer Science at Stony Brook University. His research focuses on declarative languages, logic programming, semantic web, and integration of object-oriented and deductive paradigms. He has received multiple prestigious awards including three ACM-SIGMOD 'Test of Time' awards, SUNY Chancellor's Award, and Stony Brook's Research Excellence Award.

• Ph.D. in Computer Science, Hebrew University of Jerusalem (1985)
• M.S. in Mathematics, Moscow University (1976)

Dr. Kifer's research interests span over 30 years, with major contributions to databases, knowledge representation, and semantic web technologies. He co-invented F-logic, HiLog, Annotated Logic, and Transaction Logic, which are widely cited in computer science literature.

His recent publications focus on hybrid logic programming, multilevel modeling (MLM), and knowledge authoring systems like Flora-2. These works bridge rule-based reasoning, controlled natural language, and semantic web technologies.

Scientific Awards:

• Department Research Excellence Award (2014)
• ACM-SIGMOD 'Test of Time' Awards (1999, 2002)
• SUNY Chancellor's & Stony Brook President's Awards (2008)
• Association for Logic Programming 'Test of Time' Award (2013)
• Plumer Fellowship at Oxford (2006)

Dr. Kifer has served on editorial boards and chaired conferences in logic programming and semantic web. He developed the Flora-2 knowledge representation system and contributed to standards like RIF (Rule Interchange Format).