Harry George Mairson es un informático teórico y profesor de Ciencias de la Computación en el Centro Nacional Volen para Sistemas Complejos de la Universidad Brandeis en Waltham, Massachusetts . Su investigación se encuentra en los campos de la lógica en informática , cálculo lambda y programación funcional , teoría de tipos y matemáticas constructivas , teoría de la complejidad computacional y algoritmos . [1]
Mairson recibió una licenciatura en Matemáticas de la Universidad de Yale en 1978 y un Ph.D. en Ciencias de la Computación de la Universidad de Stanford en 1984 bajo la supervisión de Jeffrey Ullman . Su Ph.D. La tesis, The Program Complexity of Searching a Table , ganó el premio Machtey en el Simposio IEEE de 1983 sobre Fundamentos de la Ciencia de la Computación (FOCS). [2] Mairson fue investigadora postdoctoral en INRIA Rocqencourt de 1984 a 1985, en la Universidad de Stanford en 1985 y en la Universidad de Oxford en 1986. [3]Ocupó un puesto de profesor visitante de 1999 a 2001 en la Universidad de Boston . De 2005 a 2007, Mairson se ha desempeñado como presidenta del Senado de la Facultad en Brandeis. Actualmente es editor asociado de la revista Logical Methods in Computer Science and Information and Computation , y forma parte del consejo editorial de Higher-Order and Symbolic Computation . [1]
Las contribuciones de Mairson a la teoría de los lenguajes de programación incluyen demostrar que la inferencia de tipo para el lenguaje de programación ML , la llamada inferencia de tipo Hindley-Milner , es completa durante un tiempo exponencial y que la reducción beta paralela no es elemental .
enlaces externos
Referencias
- ^ a b "Boletín de la Universidad de Brandeis 2006-2007" (PDF) . Archivado desde el original (PDF) el 2007-02-06 . Consultado el 9 de marzo de 2007 .
- ^ Premio FOCS al mejor trabajo estudiantil (premio Machtey)
- ^ Propuesta de la Fundación Nacional de Ciencias 0702312