Le prix de la thèse de doctorat de l'ACM de 1982 a reconnu Charles E. Leiserson pour sa thèse intitulée Area-Efficient VLSI Computation, marquant une contribution précoce à l'étude de la conception des circuits intégrés. Depuis cette période, il a poursuivi une carrière au Massachusetts Institute of Technology, se concentrant sur la théorie du calcul parallèle et le développement d'architectures logicielles haute performance.
Fondation académique et recherche
Leiserson a obtenu sa licence en informatique et en mathématiques à l'université Yale en 1975. Il a terminé son doctorat à l'université Carnegie Mellon en 1981, sous la direction de Jon Bentley et H. T. Kung. Après avoir rejoint le corps professoral du Massachusetts Institute of Technology, il a accédé au poste de professeur Edwin Sibley Webster. Ses rôles de direction à l'université comprenaient celui de directeur du groupe de recherche sur la théorie du calcul et de directeur associé du laboratoire d'informatique et d'intelligence artificielle du MIT.
Architecture matérielle et algorithmes
Au cours des années 1980, Leiserson a travaillé avec Thinking Machines Corporation, où il a conçu le réseau d'interconnexion fat-tree. Cette architecture est devenue une caractéristique standard dans plusieurs systèmes de supercalculateurs, notamment la Connection Machine CM5. Ses recherches sur la théorie VLSI ont abouti au développement de réseaux systoliques et de la méthode de retiming pour l'optimisation des circuits numériques. De plus, il a établi le concept d'algorithmes cache-oblivious, qui permettent aux systèmes de fonctionner efficacement sans nécessiter d'ajustements manuels pour des configurations de cache mémoire spécifiques.
Programmation parallèle et contributions industrielles
Leiserson a créé le langage de programmation Cilk pour faciliter le développement de logiciels multithread, en utilisant un algorithme de vol de travail pour l'ordonnancement. La technologie a pris en charge des applications d'échecs comme Cilkchess et StarSocrates. Il a fondé Cilk Arts, Inc., qu'Intel a acquis en 2009. Son expérience industrielle comprend également le poste de directeur de la recherche et de l'architecture système pour Akamai Technologies à Boston. De plus, il a coécrit le manuel académique Introduction to Algorithms, qui a reçu un prix pour réussite professionnelle et académique en 1990.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Honneurs professionnels
Tout au long de sa carrière, Leiserson a reçu de nombreuses distinctions pour ses contributions académiques et pratiques. Il a reçu le Presidential Young Investigator Award en 1985 et a été nommé MIT Margaret MacVicar Faculty Fellow en 2007. En 2013, il a reçu le prix Paris Kanellakis pour ses travaux sur Cilk et le calcul parallèle, suivi du prix Ken Kennedy en 2014. Il est membre de l'American Association for the Advancement of Science, de la Society for Industrial and Applied Mathematics et de l'Association for Computing Machinery.
Faits marquants
- Naissance : 1953, Oslo - Citoyenneté : États-Unis - Éducation : Université Yale, Université Carnegie Mellon - Employeur : Massachusetts Institute of Technology - Connu pour : Introduction to Algorithms, langage de programmation Cilk - Membre de : ACM, AAAS, IEEE, SIAM
Questions posées par les lecteurs
### Qu'est-ce que le langage de programmation Cilk ?
Cilk est un langage développé par Leiserson pour la programmation multithread qui utilise un algorithme de vol de travail pour une planification efficace des tâches.
### Quelle contribution Leiserson a-t-il apportée au matériel de supercalculateur ?
Il a inventé le réseau d'interconnexion fat-tree, qui a servi d'architecture réseau pour la Connection Machine CM5.
