Jack Minker

Minker was born on July 4, 1927[3] in Brooklyn, New York. He received his Bachelor of Arts degree from Brooklyn College in 1949,[3] Master of Arts degree from the University of Wisconsin in 1950,[3] and PhD from the University of Pennsylvania in 1959 for research supervised by Bernard Epstein.[1]

Minker started his career in industry in 1951, working at the Bell Aircraft Corporation, RCA, and the Auerbach Corporation.[6] He joined the University of Maryland in 1967, becoming Professor of Computer Science in 1971 and the first chair of the department in 1974.[7] He became Professor Emeritus in 1998.[7]

Minker is one of the founders of the area of deductive databases and disjunctive logic programming. He has made important contributions to semantic query optimization and to cooperative and informative answers for deductive databases. He has also developed a theoretical basis for disjunctive databases and disjunctive logic programs, developing the Generalized Closed World Assumption (GCWA).[8]

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. He is Founding Editor-in-Chief of the journal Theory and Practice of Logic Programming.

Minker has been Vice-Chairman of the Committee of Concerned Scientists since 1973,[9][10] and Vice-Chairman of the Committee on Scientific Freedom and Human Rights (CSFHR) of the Association for Computing Machinery from 1980 to 1989.[11] He led the struggle for the release of Anatoly Shcharansky and Alexander Lerner from the late Soviet Union. He also campaigned on behalf of Andrei Sakharov and his wife, Yelena Bonner. His memoir, Scientific Freedom & Human Rights: Scientists of Conscience During the Cold War, was published in 2012 by IEEE Computer Society Press. His former doctoral students include Terry Gaasterland.[2]