Michael Kifer (3ALW)
Professor Department of Computer Science Stony Brook University Stony Brook, New York, USA email: kifer [at] cs.stonybrook.edu (3ALX)
see: http://www.cs.stonybrook.edu/~kifer/ (3ALY)
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 Moscow State University, Russia. (3ZSG)
Since 2012, Dr. Kifer has been the President of the Rules and Reasoning Association (RRA). His work spans the areas of knowledge representation, logic programming, Web information systems, and databases. He has published four text books and numerous articles in these areas. He 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 2006, he was a Plumer Fellow at Oxford University's St. Anne's College and 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. (3ZSH)