O Prémio de Tese de Doutoramento da ACM de 1982 reconheceu Charles E. Leiserson pela sua tese intitulada Area-Efficient VLSI Computation, marcando uma contribuição precoce para o estudo do design de circuitos integrados. Desde esse período, manteve uma carreira no Instituto de Tecnologia de Massachusetts, concentrando-se na teoria da computação paralela e no desenvolvimento de arquiteturas de software de alto desempenho.
Fundação académica e investigação
Leiserson obteve o seu Bacharelato em ciências da computação e matemática na Universidade de Yale em 1975. Concluiu o seu doutoramento na Universidade Carnegie Mellon em 1981, orientado por Jon Bentley e H. T. Kung. Ao ingressar no corpo docente do Instituto de Tecnologia de Massachusetts, ascendeu ao cargo de professor Edwin Sibley Webster. Os seus papéis de liderança na universidade incluíram servir como diretor do grupo de investigação de Teoria da Computação e diretor associado do Laboratório de Ciência da Computação e Inteligência Artificial do MIT.
Arquitetura de hardware e algoritmos
Durante a década de 1980, Leiserson trabalhou com a Thinking Machines Corporation, onde projetou a rede de interconexão fat-tree. Esta arquitetura tornou-se uma característica padrão em vários sistemas de supercomputação, nomeadamente a Connection Machine CM5. A sua investigação na teoria VLSI resultou no desenvolvimento de matrizes sistólicas e no método de retiming para a otimização de circuitos digitais. Além disso, estabeleceu o conceito de algoritmos cache-oblivious, que permitem que os sistemas funcionem eficientemente sem exigir ajustes manuais para configurações específicas de cache de memória.
Programação paralela e contribuições para a indústria
Leiserson criou a linguagem de programação Cilk para facilitar o desenvolvimento de software multithread, utilizando um algoritmo de roubo de trabalho para o agendamento. A tecnologia apoiou aplicações de xadrez como Cilkchess e StarSocrates. Fundou a Cilk Arts, Inc., que a Intel adquiriu em 2009. A sua experiência na indústria também inclui servir como diretor de investigação e arquitetura de sistemas para a Akamai Technologies em Boston. Além disso, foi coautor do texto académico Introduction to Algorithms, que recebeu um prémio por realização profissional e académica em 1990.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Honras profissionais
Ao longo da sua carreira, Leiserson recebeu inúmeras distinções pelas suas contribuições académicas e práticas. Foi galardoado com o Prémio Presidencial de Investigador Jovem em 1985 e nomeado MIT Margaret MacVicar Faculty Fellow em 2007. Em 2013, recebeu o Prémio Paris Kanellakis pelo seu trabalho em Cilk e computação paralela, seguido pelo Prémio Ken Kennedy em 2014. Possui estatuto de membro na Associação Americana para o Avanço da Ciência, na Sociedade de Matemática Industrial e Aplicada e na Associação de Maquinaria Computacional.
Factos rápidos
- Nascimento: 1953, Oslo - Cidadania: Estados Unidos - Educação: Universidade de Yale, Universidade Carnegie Mellon - Empregador: Instituto de Tecnologia de Massachusetts - Conhecido por: Introduction to Algorithms, linguagem de programação Cilk - Membro de: ACM, AAAS, IEEE, SIAM
Perguntas dos leitores
### O que é a linguagem de programação Cilk?
Cilk é uma linguagem desenvolvida por Leiserson para programação multithread que utiliza um algoritmo de roubo de trabalho para um agendamento eficiente de tarefas.
### Que contribuição Leiserson deu ao hardware de supercomputação?
Inventou a rede de interconexão fat-tree, que serviu como arquitetura de rede para a Connection Machine CM5.
