Leonard Adleman

Leonard Adleman

Leonard Max Adleman (nato il 31 dicembre 1945) è un informatico statunitense. È uno dei creatori dell'algoritmo di crittografia RSA, per il quale ha ricevuto il Turing Award nel 2002. È anche noto per la creazione del campo del calcolo a DNA e per aver coniato il termine virus informatico.

Biografia

Leonard M. Adleman è nato in una famiglia ebraica in California. La sua famiglia era originariamente emigrata negli Stati Uniti dall'odierna Bielorussia, dalla zona di Minsk. È cresciuto a San Francisco e ha frequentato l'Università della California a Berkeley, dove ha conseguito la laurea triennale in matematica nel 1968 e il dottorato in ingegneria elettrica e informatica nel 1976. È stato anche il consulente matematico del film Sneakers - I furbetti. Nel 1996 è diventato membro della National Academy of Engineering per i contributi alla teoria della computazione e alla crittografia. È anche membro della National Academy of Sciences.

Adleman è anche un pugile dilettante e ha fatto sparring con James Toney.

Scoperta

Nel 1994, il suo articolo Molecular Computation of Solutions To Combinatorial Problems descriveva l'uso sperimentale del DNA come sistema di calcolo. In esso ha risolto un'istanza a sette nodi del problema del cammino hamiltoniano, un problema NP-completo simile al problema del commesso viaggiatore. Sebbene la soluzione a un'istanza di sette nodi sia banale, questo articolo è il primo caso noto di utilizzo con successo del DNA per calcolare un algoritmo. È stato dimostrato che il calcolo a DNA ha del potenziale come mezzo per risolvere molti altri problemi di ricerca combinatoria su larga scala. Adleman è ampiamente definito il Padre del calcolo a DNA.

Nel 2002, lui e il suo gruppo di ricerca sono riusciti a risolvere un problema "non banale" utilizzando il calcolo a DNA. Nello specifico, hanno risolto un problema SAT a 20 variabili con più di 1 milione di soluzioni potenziali. Lo hanno fatto in modo simile a quello usato da Adleman nel suo articolo seminale del 1994. Innanzitutto, è stata sintetizzata una miscela di filamenti di DNA logicamente rappresentativi dello spazio delle soluzioni del problema. Questa miscela è stata poi operata algoritmicamente utilizzando tecniche biochimiche per eliminare i filamenti "errati", lasciando solo quei filamenti che "soddisfacevano" il problema. L'analisi della sequenza nucleotidica di questi filamenti rimanenti ha rivelato le soluzioni "corrette" al problema originale.

È uno degli scopritori originari del test di primalità di Adleman–Pomerance–Rumely.

Fred Cohen, nel suo articolo del 1984 Experiments with Computer Viruses, ha attribuito ad Adleman l'invenzione del termine "virus informatico".

Dal 2017, Adleman sta lavorando sulla teoria matematica degli Strata. È professore di informatica presso l'Università della Southern California.

Premi

Per il suo contributo all'invenzione del crittosistema RSA, Adleman, insieme a Ron Rivest e Adi Shamir, è stato insignito del Paris Kanellakis Theory and Practice Award nel 1996 e del Turing Award nel 2002, spesso definito il premio Nobel dell'informatica. Adleman è stato eletto membro dell'American Academy of Arts and Sciences nel 2006 e ACM Fellow nel 2021.