Peter Lucas ( Viena , 13 de enero de 1935 - California , Estados Unidos, 2 de febrero de 2015 ) fue un científico informático y profesor universitario austriaco .
Peter Lucas se graduó en 1953 y luego estudió telecomunicaciones en la Universidad Tecnológica de Viena . [2] Completó sus estudios en 1959 con una tesis de diploma sobre el tema de programación de máquinas calculadoras electrónicas. [3] Luego fue miembro del grupo de Heinz Zemanek y fue responsable de la programación del sistema de Mailüfterl , la primera computadora completamente transistorizada en Europa continental . [2] [4]
En 1961, se trasladó con el Grupo Mailüfterl de la Universidad Técnica a la empresa IBM , trabajando en el Laboratorio IBM de Viena , donde trabajó en la descripción formal de lenguajes de programación . Junto con Hans Bekić, Kurt Walk y Heinz Zemanek , fue responsable de la definición formal del lenguaje de programación PL/I de IBM utilizando el lenguaje de definición de Viena (VDL), [5] una parte importante del método formal VDM . [6] Además, trabajó junto con Hans Bekić en un compilador para ALGOL 60 . Durante este tiempo, dictó conferencias y conferencias en elUniversidad Tecnológica de Viena y la Universidad Johannes Kepler de Linz , que cubren los fundamentos teóricos de la programación y la definición formal de los lenguajes de programación.
En 1978, se unió al Centro de Investigación Thomas J. Watson en Yorktown Heights , Nueva York , Estados Unidos , donde trabajó en proyectos de compiladores experimentales. En 1979, se mudó a IBM en San José, California , más tarde al IBM Almaden Research Center . En 1988, trabajó en el grupo de John Backus en la definición e implementación del lenguaje de programación funcional FL . [4]
En octubre de 1993, fue nombrado profesor titular de tecnología de software en la Universidad Tecnológica de Graz , y se retiró a un puesto emérito en julio de 2001. Desde 1994, fue presidente de Formal Methods Europe (FME) y miembro correspondiente de la Academia Austriaca . de Ciencias . [7]