Jeremy Avigad
| Jeremy Avigad | |
|---|---|
 Jeremy Avigad, março de 2013 | |
| Nascimento | 9 de janeiro de 1968 (58 anos) |
| Nacionalidade |  Estadunidense |
| Alma mater | Universidade da Califórnia em Berkeley |
| Carreira científica | |
| Orientador(es)(as) | Jack Silver[1] |
| Instituições | Universidade Carnegie Mellon |
| Campo(s) | Filosofia da matemática |
| Notas | «Página pessoal» (em inglês) |
Jeremy Avigad é um matemático e filósofo estadunidense. É professor da Universidade Carnegie Mellon.
Recebeu um B.A. em matemática na Universidade Harvard em 1989 e um Ph.D. em matemática na Universidade da Califórnia em Berkeley em 1995, orientado por Jack Silver.
Trabalha principalmente nas áreas de lógica e fundamentos da matemática, verificação formal e demonstração auxiliada por computador, e filosofia e história da matemática.[2]
Referências
- ↑ Jeremy Avigad (em inglês) no Mathematics Genealogy Project
- ↑ «Página pessoal» (em inglês) na Universidade Carnegie Mellon