Il premio per la tesi di dottorato dell'ACM del 1982 ha riconosciuto Charles E. Leiserson per la sua tesi intitolata Area-Efficient VLSI Computation, segnando un contributo precoce allo studio della progettazione dei circuiti integrati. Da quel periodo, ha mantenuto una carriera presso il Massachusetts Institute of Technology, concentrandosi sulla teoria del calcolo parallelo e sullo sviluppo di architetture software ad alte prestazioni.
Fondazione accademica e ricerca
Leiserson ha conseguito la laurea in informatica e matematica presso l'Università di Yale nel 1975. Ha completato il suo dottorato presso la Carnegie Mellon University nel 1981, sotto la guida di Jon Bentley e H. T. Kung. Dopo essere entrato a far parte della facoltà del Massachusetts Institute of Technology, è passato alla posizione di professore Edwin Sibley Webster. I suoi ruoli di leadership presso l'università includevano quello di direttore del gruppo di ricerca sulla teoria del calcolo e direttore associato del MIT Computer Science and Artificial Intelligence Laboratory.
Architettura hardware e algoritmi
Durante gli anni '80, Leiserson ha lavorato con la Thinking Machines Corporation, dove ha progettato la rete di interconnessione fat-tree. Questa architettura è diventata una caratteristica standard in diversi sistemi di supercalcolo, in particolare la Connection Machine CM5. La sua ricerca nella teoria VLSI ha portato allo sviluppo di array sistolici e del metodo di retiming per l'ottimizzazione dei circuiti digitali. Inoltre, ha stabilito il concetto di algoritmi cache-oblivious, che consentono ai sistemi di funzionare in modo efficiente senza richiedere regolazioni manuali per configurazioni specifiche della cache di memoria.
Programmazione parallela e contributi industriali
Leiserson ha creato il linguaggio di programmazione Cilk per facilitare lo sviluppo di software multithread, utilizzando un algoritmo di work-stealing per la pianificazione. La tecnologia ha supportato applicazioni di scacchi come Cilkchess e StarSocrates. Ha fondato Cilk Arts, Inc., che Intel ha acquisito nel 2009. La sua esperienza nel settore include anche il ruolo di direttore della ricerca e dell'architettura di sistema per Akamai Technologies a Boston. Inoltre, è stato coautore del testo accademico Introduction to Algorithms, che ha ricevuto un premio per il successo professionale e accademico nel 1990.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Onorificenze professionali
Nel corso della sua carriera, Leiserson ha ricevuto numerosi riconoscimenti per i suoi contributi accademici e pratici. È stato insignito del Presidential Young Investigator Award nel 1985 ed è stato nominato MIT Margaret MacVicar Faculty Fellow nel 2007. Nel 2013 ha ricevuto il Paris Kanellakis Award per il suo lavoro su Cilk e il calcolo parallelo, seguito dal Ken Kennedy Award nel 2014. Detiene lo status di membro dell'American Association for the Advancement of Science, della Society for Industrial and Applied Mathematics e dell'Association for Computing Machinery.
Fatti rapidi
- Nato: 1953, Oslo - Cittadinanza: Stati Uniti - Istruzione: Università di Yale, Carnegie Mellon University - Datore di lavoro: Massachusetts Institute of Technology - Noto per: Introduction to Algorithms, linguaggio di programmazione Cilk - Membro di: ACM, AAAS, IEEE, SIAM
Domande poste dai lettori
### Cos'è il linguaggio di programmazione Cilk?
Cilk è un linguaggio sviluppato da Leiserson per la programmazione multithread che utilizza un algoritmo di work-stealing per una pianificazione efficiente delle attività.
### Quale contributo ha dato Leiserson all'hardware di supercalcolo?
Ha inventato la rete di interconnessione fat-tree, che è servita come architettura di rete per la Connection Machine CM5.
