Jack Minker
Jack Minker (nato il 4 luglio 1927 a Brooklyn - † 9 aprile 2021 ) era uno scienziato informatico americano .
carriera
Minker ha studiato al Brooklyn College con una laurea nel 1949 e all'Università del Wisconsin con un master nel 1950 e ha conseguito il dottorato in matematica presso l' Università della Pennsylvania con Bernard Epstein nel 1959 (Some Applications of Orthogonal Systems of Functions to Interpolation and Continuazione analitica). Dal 1951 è stato nel settore (Bell Aircraft Corporation, RCA dal 1952 al 1957, Auerbach Corporation dal 1963 al 1967, dove è diventato direttore tecnico) e dal 1967 professore di informatica presso l' Università del Maryland a College Park, da dove proveniva Dal 1974 al 1979 ha diretto il dipartimento IT. Nel 1998 è andato in pensione.
Si è occupato di intelligenza artificiale , in particolare database deduttivi e programmazione logica disgiuntiva (con la Generalized Closed World Assumption 1982), di cui è uno dei fondatori in entrambe le aree. Con Herve Gallaire ha sviluppato un linguaggio di programmazione simile a un prologo per database deduttivi ( Datalog ).
Era anche conosciuto come attivista per i diritti umani, soprattutto tra gli studiosi dell'ex Unione Sovietica e dell'Europa orientale. Dal 1973 è stato vicepresidente del Committee of Concerned Scientists. Dal 1980 al 1989 è stato vicepresidente del Comitato per la libertà scientifica e i diritti umani (CSFHR) dell'Association for Computing Machinery . Ad esempio, ha guidato campagne per il rilascio di Natan Sharansky e Alexander Lerner e per Andrei Sakharov e Jelena Bonner . Nel 2011 ha ricevuto l' Heinz R. Pagels Human Rights of Scientists Award.
È stato membro della American Association for the Advancement of Science (principalmente per il suo lavoro nel campo dei diritti umani), dell'IEEE e dell'AAAI . Nel 2005 ha ricevuto l' ACM-AAAI Allen Newell Award per i contributi fondamentali nelle aree dei database deduttivi, della programmazione logica, dell'intelligenza artificiale e dei metodi generali basati sulla logica in informatica .
È stato l'editore fondatore di Theory and Practice of Logic Programming nel 1999 .
Caratteri
- Libertà scientifica e diritti umani: scienziati della coscienza durante la guerra fredda, IEEE Computer Society Press 2012.
- con Jorge Lobo, Arcot Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press 1992
- Panoramica sulla programmazione logica disgiuntiva, Annals of Mathematics and Artificial Intelligence, Volume 12, 1994, pp. 1-24
- con H. Gallaire (a cura di): Logic and Data Bases, Plenum Press 1978
link internet
Prove individuali
- ↑ Dati di nascita e carriera secondo American Men and Women of Science , Thomson Gale 2004
- ↑ Necrologio: Jack Minker
- ↑ Jack Minker in the Mathematics Genealogy Project (inglese)
- ^ Sito web dell'Università del Maryland sulla ricezione del Minker Award 2011
| dati personali | |
|---|---|
| COGNOME | Minker, Jack |
| BREVE DESCRIZIONE | Scienziato informatico americano |
| DATA DI NASCITA | 4 luglio 1927 |
| LUOGO DI NASCITA | Brooklyn |
| DATA DI MORTE | 9 aprile 2021 |