Michael Sipser - Michael Sipser
Michael Sipser | |
|---|---|
 | |
| Nascer |
Michael Fredric Sipser
17 de setembro de 1954 |
| Nacionalidade | americano |
| Alma mater | |
| Prêmios | |
| Carreira científica | |
| Campos | |
| Instituições | MIT |
| Tese | Não-determinismo e o tamanho dos autômatos finitos de duas vias (1980) |
| Orientador de doutorado | Manuel Blum |
| Alunos de doutorado | |
| Local na rede Internet | math |
Michael Fredric Sipser (nascido em 17 de setembro de 1954) é um cientista da computação teórico americano que fez contribuições iniciais para a teoria da complexidade computacional . Ele é professor de Matemática Aplicada e Reitor de Ciências no Instituto de Tecnologia de Massachusetts .
Biografia
Sipser nasceu e foi criado no Brooklyn, Nova York, e se mudou para Oswego, Nova York quando tinha 12 anos. Ele obteve seu BA em matemática pela Cornell University em 1974 e seu PhD em engenharia pela University of California em Berkeley em 1980 sob a direção de Manuel Blum .
Ele ingressou no Laboratório de Ciência da Computação do MIT como pesquisador associado em 1979 e, em seguida, foi Membro da Equipe de Pesquisa da IBM Research em San Jose. Em 1980, ele se juntou ao corpo docente do MIT. Ele passou o ano acadêmico de 1985-1986 no corpo docente da Universidade da Califórnia em Berkeley e depois voltou para o MIT. De 2004 a 2014, ele atuou como chefe do departamento de Matemática do MIT. Foi nomeado Reitor Interino da Escola de Ciências do MIT em 2013 e Reitor em 2014. Foi Reitor até 2020, altura em que foi seguido por Nergis Mavalvala . Ele é membro da American Academy of Arts and Sciences. Em 2015, foi eleito membro da American Mathematical Society "pelas contribuições para a teoria da complexidade e pela liderança e serviço à comunidade matemática." Ele foi eleito Fellow da ACM em 2017.
Carreira científica
Sipser é especialista em algoritmos e teoria da complexidade , especificamente códigos de correção de erros eficientes, sistemas de prova interativos, aleatoriedade, computação quântica e estabelecimento da dificuldade computacional inerente de problemas. Ele introduziu o método de restrição probabilística para provar limites inferiores superpolinomiais na complexidade do circuito em um trabalho conjunto com Merrick Furst e James B. Saxe . Seu resultado foi posteriormente aprimorado para ser um limite inferior exponencial por Andrew Yao e Johan Håstad .
Em um teorema de desrandomização inicial , Sipser mostrou que o BPP está contido na hierarquia polinomial , posteriormente aprimorada por Peter Gács e Clemens Lautemann para formar o que agora é conhecido como teorema de Sipser-Gàcs-Lautemann . Sipser também estabeleceu uma conexão entre os gráficos de expansão e a desrandomização. Ele e seu aluno de doutorado Daniel Spielman introduziram códigos expansores , uma aplicação de gráficos expansores. Com seu colega estudante de graduação David Lichtenstein, Sipser provou que Go é PSPACE difícil.
Na teoria da computação quântica, ele introduziu o algoritmo adiabático em conjunto com Edward Farhi , Jeffrey Goldstone e Samuel Gutmann.
Sipser há muito tempo se interessa pelo problema P versus NP . Em 1975, ele apostou uma onça de ouro com Leonard Adleman que o problema seria resolvido com uma prova de que P ≠ NP até o final do século XX. Sipser enviou a Adleman uma moeda de ouro da águia americana em 2000 porque o problema permaneceu (e continua) sem solução.
Livros notáveis
Sipser é o autor de Introdução à Teoria da Computação , um livro didático para a ciência da computação teórica .
Vida pessoal
Sipser mora em Cambridge, Massachusetts, com sua esposa, Ina, e tem dois filhos: uma filha, Rachel, que se formou na New York University, e um filho mais novo, Aaron, que se formou no MIT.