Der ACM Doctoral Dissertation Award von 1982 würdigte Charles E. Leiserson für seine Dissertation mit dem Titel Area-Efficient VLSI Computation, was einen frühen Beitrag zur Untersuchung des Entwurfs integrierter Schaltkreise darstellte. Seit dieser Zeit verfolgt er eine Karriere am Massachusetts Institute of Technology, wobei er sich auf die Theorie des parallelen Rechnens und die Entwicklung von Hochleistungssoftwarearchitekturen konzentriert.
Akademische Grundlage und Forschung
Leiserson erwarb 1975 seinen Bachelor of Science in Informatik und Mathematik an der Yale University. Er promovierte 1981 an der Carnegie Mellon University unter der Betreuung von Jon Bentley und H. T. Kung. Nach seinem Eintritt in die Fakultät des Massachusetts Institute of Technology stieg er zum Edwin Sibley Webster Professor auf. Zu seinen Führungsrollen an der Universität gehörten die Leitung der Forschungsgruppe für Theorie der Berechnung und die stellvertretende Leitung des MIT Computer Science and Artificial Intelligence Laboratory.
Hardwarearchitektur und Algorithmen
In den 1980er Jahren arbeitete Leiserson mit der Thinking Machines Corporation zusammen, wo er das Fat-Tree-Verbindungsnetzwerk entwarf. Diese Architektur wurde zu einem Standardmerkmal in mehreren Supercomputersystemen, insbesondere der Connection Machine CM5. Seine Forschung in der VLSI-Theorie führte zur Entwicklung von systolischen Arrays und der Retiming-Methode zur Optimierung digitaler Schaltkreise. Darüber hinaus etablierte er das Konzept der Cache-Oblivious-Algorithmen, die es Systemen ermöglichen, effizient zu arbeiten, ohne manuelle Anpassungen für spezifische Speicher-Cache-Konfigurationen zu erfordern.
Parallele Programmierung und industrielle Beiträge
Leiserson entwickelte die Programmiersprache Cilk, um die Entwicklung von Multithread-Software zu erleichtern, wobei er einen Work-Stealing-Algorithmus für die Zeitplanung verwendete. Die Technologie unterstützte Schachprogramme wie Cilkchess und StarSocrates. Er gründete Cilk Arts, Inc., das 2009 von Intel übernommen wurde. Seine Industrieerfahrung umfasst auch die Tätigkeit als Forschungs- und Systemarchitekturleiter für Akamai Technologies in Boston. Darüber hinaus war er Mitautor des akademischen Lehrbuchs Introduction to Algorithms, das 1990 eine Auszeichnung für berufliche und wissenschaftliche Leistungen erhielt.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Auszeichnungen
Im Laufe seiner Karriere hat Leiserson zahlreiche Auszeichnungen für seine akademischen und praktischen Beiträge erhalten. 1985 wurde er mit dem Presidential Young Investigator Award ausgezeichnet und 2007 zum MIT Margaret MacVicar Faculty Fellow ernannt. 2013 erhielt er den Paris Kanellakis Award für seine Arbeit an Cilk und parallelem Rechnen, gefolgt vom Ken Kennedy Award im Jahr 2014. Er ist Fellow der American Association for the Advancement of Science, der Society for Industrial and Applied Mathematics und der Association for Computing Machinery.
Fakten
- Geboren: 1953, Oslo - Staatsbürgerschaft: Vereinigte Staaten - Ausbildung: Yale University, Carnegie Mellon University - Arbeitgeber: Massachusetts Institute of Technology - Bekannt für: Introduction to Algorithms, Programmiersprache Cilk - Mitgliedschaften: ACM, AAAS, IEEE, SIAM
Fragen von Lesern
### Was ist die Programmiersprache Cilk?
Cilk ist eine von Leiserson entwickelte Sprache für Multithread-Programmierung, die einen Work-Stealing-Algorithmus für eine effiziente Aufgabenplanung verwendet.
### Welchen Beitrag leistete Leiserson zur Supercomputer-Hardware?
Er erfand das Fat-Tree-Verbindungsnetzwerk, das als Netzwerkarchitektur für die Connection Machine CM5 diente.
