Michael Kifer is a professor with the Department of Computer Science, Stony Brook University, USA. He received his Ph.D. in Computer Science in 1984 from the Hebrew University of Jerusalem, Israel, and the M.S. degree in Mathematics in 1976 from Lomonosov Moscow State University, Russia. Since 2012, Dr. Kifer has served as the President of the Rules and Reasoning Association (RRA). His work spans the areas of knowledge representation and reasoning (KRR), logic programming, Web information systems, and databases. He published four textbooks and numerous articles in these areas as well as co-invented F-logic, HiLog, Annotated Logic, and Transaction Logic, which are among the most widely cited works in Computer Science and Semantic Web research, in particular. Twice, in 1999 and 2002, he was a recipient of the prestigious ACM-SIGMOD "Test of Time" awards for his works on F-logic and object-oriented database languages. In 2008, he received SUNY Chancellor's Award for Excellence in Scholarship. In 2013, Dr. Kifer received another prestigious award: The 20-year "Test of Time" award from the Association for Logic Programming (ALP) for his work on Transaction Logic. In 2013, Kifer co-founded Coherent Knowledge Systems, a startup that commercializes semantic and KRR technologies.
