Peter Lucas (13 de enero de 1935 en Viena , Austria – 2 de febrero de 2015 en California , Estados Unidos [1] ) fue un científico informático y profesor universitario austríaco .
Peter Lucas se graduó en 1953 y luego estudió telecomunicaciones en la Universidad Tecnológica de Viena . [1] Completó sus estudios en 1959 con una tesis de diploma sobre el tema de la programación de máquinas calculadoras electrónicas. [2] Luego fue miembro del grupo de Heinz Zemanek y fue responsable de la programación del sistema Mailüfterl , la primera computadora totalmente transistorizada en Europa continental . [1] [3]
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 Vienna Definition Language (VDL), [4] una parte importante del método formal VDM . [5] Además, trabajó junto con Hans Bekić en un compilador para ALGOL 60. Durante este tiempo, dio conferencias y charlas en la Universidad Tecnológica de Viena y la Universidad Johannes Kepler de Linz , cubriendo fundamentos teóricos de la programación y la definición formal de lenguajes de programación.
En 1978 se incorporó 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 trasladó a IBM en San José, California , más tarde al Centro de Investigación IBM Almaden . En 1988 trabajó en el grupo de John Backus en la definición e implementación del lenguaje de programación funcional FL . [3]
En octubre de 1993, fue nombrado profesor titular de tecnología de software en la Universidad Tecnológica de Graz , retirándose 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 . [6]
Peter Lucas falleció el 2 de febrero de 2015 a la edad de 80 años.
{{cite book}}
: |journal=
ignorado ( ayuda )