David Michael Ritchie Park (1935 - 29 de septiembre de 1990) fue un informático británico . Trabajó en la primera implementación del lenguaje de programación Lisp . [1] Se convirtió en una autoridad en los temas de equidad, esquemas de programas y bisimulación en computación concurrente . [2] [3] En la Universidad de Warwick , fue uno de los primeros miembros del departamento de informática y se desempeñó como presidente . [3]
David Park | |
---|---|
Nació | 1935 |
Fallecido | 29 de septiembre de 1990 | (54 a 55 años)
Ciudadanía | Reino Unido |
Educación | Instituto de Tecnología de la Universidad de Oxford Massachusetts |
Conocido por | Bisimulación Lisp |
Carrera científica | |
Campos | Matemáticas Informática |
Instituciones | Instituto de Tecnología de Massachusetts Universidad de Cambridge Universidad de Warwick |
Tesis | Construcciones teóricas de conjuntos en la teoría de modelos (1964) |
Asesor de doctorado | Hartley Rogers Jr. |
Estudiantes de doctorado | Mike Paterson |
Notas
- ^ McCarthy, J .; Brayton, R .; Edwards, D .; Fox, P .; Hodes, L .; Luckham, D .; Maling, K .; Park, D .; Russell, S. (marzo de 1960), LISP I Programmers Manual (PDF) , Boston , Massachusetts : Artificial Intelligence Group, MIT Computation Center and Research Laboratory , consultado el 11 de mayo de 2010
- ^ Paterson, Michael (1994). "David Michael Ritchie Park (1935-1990) in memoriam". Informática Teórica (PDF) . 133 . Oxford: Elsevier. págs. 187-200. ISSN 0304-3975 .
- ^ a b Paterson, MS (marzo de 1990). "Obituario: profesor David Michael Ritchie Park" . Aspectos formales de la informática . Londres: Springer. págs. 299–300. doi : 10.1007 / BF01888230 . ISSN 0934-5043 . Archivado desde el original el 14 de julio de 2011.
enlaces externos
- David Park en el Proyecto de genealogía matemática