Jack Minker
Jack Minker was a professor emeritus and founding chair of the Department of Computer Science at the University of Maryland. He passed away on April 9, 2021.
Minker was a pioneer in artificial intelligence, deductive databases, logic programming and nonmonotonic reasoning. He was also an internationally recognized leader in the field of human rights for scientists.
Minker joined UMD in 1967 as an associate professor and became a professor in 1971. He was among the first members of the University of Maryland Institute for Advanced Computer Studies and served as the first chair of the Department of Computer Science from 1974 to 1979.
“Jack had a vision 50 years ago that all of science, and in fact all of society, would benefit from computing, which led him to advocate strongly for the University of Maryland to launch a department of computer science,” said Amitabh Varshney, professor of computer science and dean of the College of Computer, Mathematical, and Natural Sciences. “Jack witnessed his vision come to life here on campus—a vision that is still in full bloom today with thousands of people working on projects and ideas based in computing that are making our world better, safer and more productive.”
During his tenure as chair, Minker set a standard for excellence in research and teaching that led the department to be ranked among the top 12 computer science departments in the country—a recognition it still holds today.
“Everyone in the department acknowledges that our excellence rests on the foundation that Jack built for us over and beyond his career,” said Larry Davis, Distinguished University Professor Emeritus and former chair of the department.
Minker was a founder of deductive and disjunctive deductive databases. He also made important contributions to semantic query optimization and to cooperative and informative answers for deductive databases. He developed the first result in disjunctive databases, the Generalized Closed World Assumption (GCWA), for negated data.
Over his career, he edited or co-edited five books and authored more than 150 refereed publications in journals, conferences and books. He also served on the editorial board of numerous prestigious journals and was founding editor-in-chief of the Theory and Practice of Logic Programming.
A dedicated educator and mentor, Minker advised dozens of undergraduate, master’s and doctoral students at Maryland.
“As a Ph.D. advisor, Dr. Minker was an inspiring role model and a patient and wise mentor. I learned from him much more than the ropes of being a scientist, a researcher and a professor; I learned from him the importance of working on meaningful problems and impactful solutions. I learned from him how to treat everyone with respect and the importance of valuing everyone's contributions and points of view,” said one of his former students, Carolina Ruiz (Ph.D. ’96, computer science), now a professor of computer science at Worcester Polytechnic Institute.
Minker also performed extensive service for the scientific community. Among these activities, he chaired the Advisory Committee on Computing to the National Science Foundation (NSF) from 1980 to 1982. His committee was instrumental in computer science being represented as its own discipline at NSF. He was also a member of the NASA Robotics Study Group, which made recommendations to NASA for robotics activities in support of space missions.
In addition, he served the Association for Computing Machinery (ACM) in many capacities, including as national program chair from 1968 to 1970. He was vice-chair of the association’s Committee of Concerned Scientists for nearly 50 years and vice-chair of its Committee on Scientific Freedom and Human Rights from 1980 to 1989. His reports in Communications of the ACM listed more than 300 computer professionals in 13 countries whose scientific freedoms and human rights had been violated. He even led the struggle for the release of computer scientist Anatoly Shcharansky and cyberneticist Alexander Lerner from the former Soviet Union. Most of the scientists listed in the reports were subsequently released.
“He was a Jack of few trades, the ones that mattered the most: doing the right thing, genuine caring about his students and colleagues, treating everyone with exceptional respect, passion about computer science and AI, human rights and leadership. He distinguished himself in each one of them,” said one of his former students, Simon Kasif (M.S. ’83, Ph.D. ’84, computer science), now a professor of biomedical engineering at Boston University.
Although Minker retired in 1998, he still performed research and service. His memoir, "Scientific Freedom and Human Rights: Scientists of Conscience During the Cold War," which documented his work with the Committee of Concerned Scientists and other human rights organizations, was published in 2012. He was invited to present lectures at international conferences in 2007, 2009 and 2010.
Minker was a Fellow of the ACM, IEEE, Association for the Advancement of Artificial Intelligence, and the American Association for the Advancement of Science. He received the ACM Outstanding Contribution Award for his work in human rights in 1985, the ACM Recognition of Service Award in 1989, the University of Maryland President’s Medal in 1996 and Distinguished Scholar-Teacher Award in 1997, and the prestigious ACM Allen Newell Award in 2005. He was recognized with 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.
In 2018, UMD celebrated Minker’s life and accomplishments at an event that included more than 120 attendees and remarks by some of his former students, colleagues and collaborators. One of those students, Jorge Lobo (Ph.D. ’90, computer science), who is the ICREA Research Professor in the Department of Information and Communication Technologies at Universitat Pompeu Fabra in Barcelona, spoke at the event and closed with the following remarks.
“Jack’s technical work, as with his work in Scientific Freedom and Human Rights, is the result of a lot of persistence and patience. In this world, obsessed with social media and instant gratification, where people offer and find solutions to their problems in tweets and Facebook postings, Jack’s career reminds us that having a lasting impact, and in particular, impact for building a better world, requires smart, hard and persistent work.”
Minker received his bachelor’s degree in mathematics from Brooklyn College in 1949, his master’s in mathematics from the University of Wisconsin in 1950 and his doctorate in mathematics from the University of Pennsylvania in 1959. He started his career in industry, working at the Bell Aircraft Corporation, RCA and the Auerbach Corporation before joining the faculty at Maryland.
“I came to Maryland as a visitor in 1967, was offered a position in 1968 and stayed. It is the best decision I have made in my career,” Minker said in 2017 on the occasion of his 90th birthday.
He loved the department, according to Davis, and left a legacy of support for future computer science faculty and students at Maryland.
“He endowed the first professorship in the department in 1992—the Jack and Rita G. Minker Professorship in Computer Science—and was delighted when Mohammad Hajiaghayi was named to that position,” Davis added.
Minker is survived by his wife Johanna Weinstein; son Michael Minker (Katharine); stepsons Lawrence, Charles, Steven and Kenneth Weinstein; grandchildren Roger Carucci, Beverly Minker and Katie Minker; and great-grandchildren Charlotte, Naomi and Olivia Minker. He was preceded in death by his first wife, Rita G. Minker, and daughter Sally Minker (late wife of Jason Carucci).
He is also survived by his large academic family.
“Dr. Minker has been more than an academic father to the large number of students in his research group. He has been a surrogate father who was there for us and our families at all times,” Ruiz noted. “He was a true family person and instilled in us the importance of forming a strong academic family; that view has kept us, his students across multiple generations, together over the years. Dr. Minker will stay forever in my heart and thoughts as a guiding star.”
Go here to view Minker‘s academic publications.
Publications
2012
2012. Scientific Freedom and Human Rights. :564.
2011
2011. Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
2007
2007. Deductive Databases. Wiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering.
2007. Developing a Computer Science Department at the University of Maryland. Annals of the History of Computing, IEEE. 29(4):64-75.
2007. COMPUTING PERFECT AND STABLE MODELS USING ORDERED MODEL TREES. Computational Intelligence. 11(1):89-112.
2007. Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing. 29(1):49-64.
2003
2003. In Memoriam: Raymond Reiter. AI Magazine. 24(1):13-13.
2002
2002. A logic-based approach to data integration. Theory Pract. Log. Program.. 2(3):323-368.
2002. Disjunctive logic programming: A survey and assessment. Computational Logic: Logic Programming and Beyond. :171-197.
2000
2000. Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
2000. Introduction to logic-based artificial intelligence. Logic-based artificial intelligenceLogic-based artificial intelligence. :3-33.
1999
1999. Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
1999. The Workshop on Logic-Based Artificial Intelligence. AI Magazine. 20(4):97-97.
1998
1998. Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
1998. An overview of cooperative answering in databases. Flexible Query Answering Systems. :282-285.
1998. Semantics for Disjunctive and Normal Disjunctive Logic Programs. Handbook of logic in artificial intelligence and logic programming. 5:325-325.
1998. Integrity constraints: Semantics and applications. Logics for databases and information systems. :265-306.
1997
1997. Model generation and state generation for disjunctive logic programs. The Journal of Logic Programming. 32(1):49-69.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
1997. Combining Closed World Assumptions with Stable Negation. Fundamenta Informaticae. 32(2):163-181.
1997. A characterization of the partial stable models for disjunctive deductive databases. Logic programming: proceedings of the 1997 International Symposium. :245-245.
1997. Logic and Databases Past, Present, and Future. AI Magazine. 18(3):21-21.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
1996
1996. Disjunctive deductive databases: Semantics, updates and architecture. Proceedings of the 4th Bar-Ilan Symposium on Foundations of AI. :256-274.
1996. Model theoretic approach to view updates in deductive databases. Journal of Automated Reasoning. 17(2):171-197.
1996. Using priorities to combine knowledge bases. International Journal of Cooperative Information Systems. 5(2):333-333.
1996. Mixing a default rule with stable negation. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics. :122-125.
1996. Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.
1996. Semantic query optimization for bottom-up evaluation. Foundations of Intelligent Systems. :561-571.
1995
1995. Computing stable and partial stable models of extended disjunctive logic programs. Non-Monotonic Extensions of Logic Programming. :205-229.
1995. Combining databases with prioritized information. Journal of Intelligent Information Systems. 4(3):231-260.
1995. Bottom-up computation of perfect models for disjunctive theories. The Journal of logic programming. 25(1):33-51.
1986
1986. A Parallel Self-Modifying Default Reasoning System. AAAI. :923-927.
1986. Completeness results for circumscription. Artificial Intelligence. 28(1):29-42.
1985
1985. Computing protected circumscription. The Journal of Logic Programming. 2(4):235-249.
1984
1984. Protected circumscription. Proc. Workshop on Non-Monotonic Reasoning. :337-343.