17 Facts About Jack Minker

Jack Minker was a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning.

Jack Minker was an internationally recognized leader in the field of human rights of computer scientists.

Jack Minker was an Emeritus Professor in the University of Maryland Department of Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences.

Jack Minker received his Bachelor of Arts degree from Brooklyn College in 1949, Master of Arts degree from the University of Wisconsin in 1950, and PhD from the University of Pennsylvania in 1959 for research supervised by Bernard Epstein.

Jack Minker started his career in industry in 1951, working at the Bell Aircraft Corporation, RCA, and the Auerbach Corporation.

Jack Minker joined the University of Maryland in 1967, becoming Professor of Computer Science in 1971 and the first chair of the department in 1974.

Jack Minker was one of the founders of the area of deductive databases and disjunctive logic programming.

Jack Minker has made important contributions to semantic query optimization and to cooperative and informative answers for deductive databases.

Jack Minker has developed a theoretical basis for disjunctive databases and disjunctive logic programs, developing the Generalized Closed World Assumption.

Jack Minker has over 150 refereed publications and has edited or co-edited five books on deductive databases, logic programming, and the use of logic in artificial intelligence.

Jack Minker was Founding Editor-in-Chief of the journal Theory and Practice of Logic Programming.

Jack Minker has been vice-chairman of the Committee of Concerned Scientists since 1973, and vice-chairman of the Committee on Scientific Freedom and Human Rights of the Association for Computing Machinery from 1980 to 1989.

Jack Minker led the struggle for the release of Anatoly Shcharansky and Alexander Lerner from the late Soviet Union.

Jack Minker campaigned on behalf of Andrei Sakharov and his wife, Yelena Bonner.

Jack Minker was elected a Fellow of the American Association for the Advancement of Science in 1989, founding Fellow of the Association for the Advancement of Artificial Intelligence in 1990, Fellow of the Institute of Electrical and Electronics Engineers in 1991, and founding Fellow of the Association for Computing Machinery in 1994.

Jack Minker received the ACM Outstanding Contribution Award for his work on human rights in 1985, the ACM Recognition of Service Award in 1989, the University of Maryland President's Medal for 1996, and the prestigious ACM Allen Newell Award for 2005.

Jack Minker received the 2011 Heinz R Pagels Human Rights Award from the New York Academy of Sciences for his work on behalf of scientific freedom and human rights for scientists.