Jack Minker
Jack Minker (født 4. juli 1927 i Brooklyn - † 9. april 2021 ) var en amerikansk datalog .
Karriere
Minker studerede ved Brooklyn College med en bachelorgrad i 1949 og ved University of Wisconsin med en kandidatgrad i 1950 og modtog sin doktorgrad i matematik fra University of Pennsylvania hos Bernard Epstein i 1959 (Nogle anvendelser af ortogonale systemer til funktioner til interpolering og Analytisk fortsættelse). Fra 1951 var han i branchen (Bell Aircraft Corporation, RCA fra 1952 til 1957, Auerbach Corporation 1963 til 1967, hvor han blev teknisk direktør) og fra 1967 professor i datalogi ved University of Maryland i College Park, hvor han var fra 1974 til 1979 ledede it-afdelingen. I 1998 trak han sig tilbage.
Han beskæftigede sig med kunstig intelligens , især deduktive databaser og disjunktiv logisk programmering (med den generaliserede lukkede verdensantagelse 1982), hvor han er en af grundlæggerne i begge områder. Med Herve Gallaire udviklede han et prolog-lignende programmeringssprog til deduktive databaser ( Datalog ).
Han var også kendt som en menneskerettighedsaktivist, især blandt lærde fra det tidligere Sovjetunionen og Østeuropa. Fra 1973 var han næstformand for Udvalget for Bekymrede Forskere. Fra 1980 til 1989 var han næstformand for Udvalget for Videnskabelig Frihed og Menneskerettigheder (CSFHR) i Association for Computing Machinery . For eksempel ledede han kampagner for frigivelsen af Natan Sharansky og Alexander Lerner og for Andrei Sakharov og Jelena Bonner . I 2011 modtog han prisen Heinz R. Pagels Human Rights of Scientists.
Han var stipendiat i American Association for the Advancement of Science (primært for sit arbejde inden for menneskerettighedsområdet), IEEE og AAAI . I 2005 modtog han ACM-AAAI Allen Newell Award for fundamentale bidrag inden for deduktive databaser, logikprogrammering, kunstig intelligens og generelle logikbaserede metoder inden for datalogi .
Han var grundlæggerredaktør for Theory and Practice of Logic Programming i 1999 .
Skrifttyper
- Videnskabelig frihed og menneskerettigheder: Samvittighedsforskere under den kolde krig, IEEE Computer Society Press 2012.
- med Jorge Lobo, Arcot Rajasekar: Fundament for Disjunctive Logic Programming, MIT Press 1992
- Oversigt over disjunktiv logisk programmering, Annaler for matematik og kunstig intelligens, bind 12, 1994, s. 1-24
- med H. Gallaire (red.): Logik og databaser, Plenum Press 1978
Weblinks
Individuelle beviser
- ↑ Fødsels- og karrieredata i henhold til American Men and Women of Science , Thomson Gale 2004
- ↑ Nekrolog: Jack Minker
- ↑ Jack Minker i Mathematics Genealogy Project (engelsk)
- ^ Hjemmeside for University of Maryland ved modtagelse af Minker Award 2011
| personlig data | |
|---|---|
| EFTERNAVN | Minker, Jack |
| KORT BESKRIVELSE | Amerikansk datalog |
| FØDSELSDATO | 4. juli 1927 |
| FØDSELSSTED | Brooklyn |
| DØDSDATO | 9. april 2021 |