Mark S. Manasse
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Terry Millar (en) |
Mark Steven Manasse, né le , est un informaticien et mathématicien américain qui travaille en théorie algorithmique des nombres.
Mark Manasse étudie à partir de 1975 à l'Université Harvard (B. Sc. « cum laude » en 1978) et à l'Université du Wisconsin à Madison, où il obtient un maîtrise en mathématiques (1979) et une autre en informatique (1981) et il soutient un Ph. D. en 1982 supervisé par Terry Millar (en) en logique mathématique (Techniques and Counterexamples in Almost Categorical Recusive Model Theory)[1]. Il est chercheur postdoctoral aux Laboratoires Bell et, après un séjour comme professeur assistant invité à l'Université de Chicago en 1984, il est, à partir de 1985, employé à la Digital Equipment Corporation (DEC) à Palo Alto au Systems Research Center (SRC). À partir de 2001, il travaille chez Microsoft Research à Mountain View .
