Charles E. Leiserson
| Naissance | [1] |
|---|---|
| Nationalité | américaine |
| Domaines | informatique |
|---|---|
| Formation | Université Carnegie-Mellon (Ph. D.), Université Yale (B. Sc.) |
| Directeur de thèse | Hsiang-Tsung Kung (en) et Jon Bentley |
| Étudiants en thèse | 23 |
| Renommé pour | Ouvrage Introduction to Algorithms |
| Distinctions | Prix Paris Kanellakis, Taylor L. Booth Education Award |
| Site | supertech.csail.mit.edu/~cel et people.csail.mit.edu/cel |
Charles Eric Leiserson est un informaticien américain. Il travaille surtout dans les domaines du parallélisme (informatique) et du calcul distribué. Il est réputé comme l'un des trois, puis des quatre coauteurs du livre Introduction to Algorithms.
Biographie
Leiserson obtient un B. Sc. en informatique et mathématiques à l'université Yale en 1975, et un Ph. D. en informatique à l'université Carnegie-Mellon en 1981, sous la direction de Jon Bentley et H. T. Kung (en). Il rejoint le Massachusetts Institute of Technology en , et est nommé professeur titulaire en 1992[1]. De plus, il est l'un des dirigeants du groupe de recherche Theory of Computation au MIT Computer Science and Artificial Intelligence Laboratory. Il était auparavant directeur de la recherche et des architectures de systèmes chez Akamai Technologies. Il est le fondateur et dirigeant technique de l'entreprise Cilk Arts, Inc. (en), une start-up qui développait la technologie Cilk pour les applications sur microprocesseur multi-cœur. L'entreprise a été rachetée par Intel en 2009.
Travaux
Leiserson est l'inventeur du réseau d'interconnexion fat-tree (en), un réseau d'interconnexion matériel utilisé dans de nombreux super-ordinateurs, y compris la Connection Machine (en) CM5, pour laquelle il a développé l'architecture réseau, lorsqu'il était en détachement à l’entreprise Thinking Machines Corporation. Il a participé aux débuts de la théorie des circuits VLSI, y compris la méthode du retiming (en) d'optimisation digitale avec James B. Saxe et les réseaux systoliques avec H. T. Kung (en). Il a conçu la notion d'algorithme cache-oblivious (en), des algorithmes qui n'optimisent pas la taille du cache ou la longueur des lignes du cache et qui pourtant utilisent ce cache de façon presque optimale. Il a aussi développé, dans le langage Cilk, un algorithme de work stealing (en) efficace dans l'ordonnancement des processus.
Livre
Leiserson est coauteur, avec Thomas H. Cormen, Ronald L. Rivest, et Clifford Stein, du livre Introduction to Algorithms traduit en une dizaine de langues, et édité en français sous le titre Introduction à l'Algorithmique[2].
Prix et récompenses
- 1982 : La thèse de doctorat de Leiserson, intitulée Area-Efficient VLSI Computation, est couronnée du tout premier des Doctoral Dissertation Award de l'ACM.
- 1985 : La National Science Foundation lui décerne le Presidential Young Investigator Award.
- 2006 : Nommé Fellow de l'Association for Computing Machinery.
- 2013 : Nommé Fellow de l'Association américaine pour l'avancement des sciences.
- 2013 : Prix Paris Kanellakis, en même temps que Robert D. Blumofe, un de ses anciens étudiants, « pour les contributions au calcul parallèle efficace et robuste grâce à deux protocoles de programmation randomisés efficaces et à un ensemble de primitives de langage parallèle constituant le cadre de CILK. Des implémentations de ces protocoles et le cadre conceptuel ont été déployés sur des dizaines de millions de machines et ont donc un impact quotidien. »[3]
- 2014 : ACM - IEEE CS Ken Kennedy Award[3]
- 2014 : Taylor L. Booth Education Award de la IEEE Computer Society, « pour son impact mondial dans l'enseignement de l'informatique grâce à la rédaction d'un manuel d'algorithmique qui est un best-seller, et à l'élaboration de cours sur les algorithmes et la programmation parallèle »[4].
Articles liés
Notes et références
Liens externes
- Page personnelle de Charles Leiserson
- Brève biography de Charles Leiserson par lui-même.
- (en) « Charles Leiserson », sur le site du Mathematics Genealogy Project
- Sites officiels : supertech.csail.mit.edu/~cel et people.csail.mit.edu/cel
- Ressources relatives à la recherche :
