Jack Minker
Jack Minker (born July 4, 1927 in Brooklyn ) is an American computer scientist.
Minker studied at Brooklyn College with a bachelor's degree in 1949 and from the University of Wisconsin with a master's degree in 1950 and received his doctorate in mathematics from the University of Pennsylvania with Bernard Epstein in 1959 (Some Applications of Orthogonal Systems of Functions to Interpolation and Analytic Continuation ). From 1951 he was in the industry (Bell Aircraft Corporation, RCA from 1952 to 1957, Auerbach Corporation 1963 to 1967, where he became technical director) and from 1967 professor of computer science at the University of Maryland in College Park, where he was from 1974 to 1979 headed the IT department. In 1998 he retired.
He dealt with artificial intelligence , especially deductive databases and disjunctive logic programming (with the Generalized Closed World Assumption 1982), where he is one of the founders in both areas. With Herve Gallaire he developed a prologue-like programming language for deductive databases ( Datalog ).
He is also known as a human rights activist, especially among scholars from the former Soviet Union and Eastern Europe. From 1973 he was vice chairman of the Committee of Concerned Scientists. From 1980 to 1989 he was vice chairman of the Committee for Scientific Freedom and Human Rights (CSFHR) of the Association for Computing Machinery . For example, he led campaigns for the release of Natan Sharansky and Alexander Lerner and for Andrei Sakharov and Jelena Bonner . In 2011 he received the Heinz R. Pagels Human Rights of Scientists Award.
He is a Fellow of the American Association for the Advancement of Science (primarily for his work in the field of human rights), the IEEE and the AAAI . In 2005 he received the ACM-AAAI Allen Newell Award for fundamental contributions in the areas of deductive databases, logic programming, artificial intelligence and general logic-based methods in computer science .
He was the founding editor of Theory and Practice of Logic Programming in 1999 .
Fonts
- Scientific Freedom & Human Rights: Scientists of Conscience During the Cold War, IEEE Computer Society Press 2012.
- with Jorge Lobo, Arcot Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press 1992
- Overview of disjunctive logic programming, Annals of Mathematics and Artificial Intelligence, Volume 12, 1994, pp. 1-24
- with H. Gallaire (Ed.): Logic and Data Bases, Plenum Press 1978
Web links
Individual evidence
- ↑ Birth and career data according to American Men and Women of Science , Thomson Gale 2004
- ↑ Jack Minker in the Mathematics Genealogy Project (English)
- ^ Website of the University of Maryland on receiving the Minker Award 2011
| personal data | |
|---|---|
| SURNAME | Minker, Jack |
| BRIEF DESCRIPTION | American computer scientist |
| DATE OF BIRTH | 4th July 1927 |
| PLACE OF BIRTH | Brooklyn |