stringtranslate.com

Peter Lucas (informático)

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 .

Vida

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.

Premios

Referencias

  1. ^ abcd Lucas, Peter en Austria-Forum (en alemán)  (biografía)
  2. ^ Lucas, Pedro (1959). "Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen". Diplomarbeit (en alemán). Universidad Técnica de Viena . AC00320349 . Consultado el 5 de enero de 2018 .
  3. ^ ab OCG-Journal 1/2015: Nachruf auf Peter Lucas Journal der Österreichischen Computer Gesellschaft (OCG), Ausgabe 1/2015, consultado el 29 de septiembre de 2015.
  4. ^ Bekić, H.; Bjørner, D.; Henhapl, W.; Jones, CB; Lucas, P. (10 de junio de 2005). Una definición formal de un subconjunto PL/I . Lecture Notes in Computer Science . Vol. 177. Springer-Verlag . págs. 107–155. doi :10.1007/BFb0048942. ISBN . 3-540-13378-X. {{cite book}}: |journal=ignorado ( ayuda )
  5. ^ Jones, Cliff B. (1990). Desarrollo sistemático de software utilizando VDM (PDF) (2.ª ed.). Prentice-Hall .
  6. ^ abcd Aichernig, Bernhard K.; Fröhlich, Brigitte; Kerschbaumer, Andreas (2001). "Aspectos formales de la ingeniería de software (Número especial de J.UCS en honor al profesor Peter Lucas)". Revista de Informática Universal . 7 (8) . Consultado el 29 de septiembre de 2015 .

Enlaces externos