Jan Bergstra

Jan A. Bergstra es un informático holandés. Su trabajo se ha concentrado en la lógica y las fundaciones teóricas de la ingeniería del software, sobre todo en métodos formales para el diseño del sistema. Mejor se conoce como un experto en métodos algebraicos para la especificación de datos y procesos computacionales en general.

Biografía

Jan Bergstra nació en 1951 en Rotterdam, el hijo de Tjeerd Bergstra y Johanna Bisschop. Se licenció en el Liceo Montessori Rotterdam (beta del gimnasio) y matemáticas luego estudiadas en la universidad de Utrecht, comenzando en 1969. Después de un MSc escribió una Tesis doctoral, defendida en 1976, en la teoría de la recursión en tipos más altos, bajo la supervisión de Dirk van Dalen.

Bergstra sostuvo puestos en el Instituto de Matemáticas Aplicadas y Ciencias informáticas de la universidad de Leiden (1976–82) y Centrum Wiskunde & Informatica (CWI) en Amsterdam. En 1985 se designó a Profesor de Programación e Ingeniería del software en el Instituto de la Informática de la universidad de Amsterdam y, al mismo tiempo, Profesor de la Lógica Aplicada en la universidad de Utrecht; tales posiciones de hendidura son bastante comunes en los Países Bajos. Estas dos sillas sigue sosteniendo.

Ha sido un Consejero del CWI (1985–2004). En 1989 trabajó durante un año en Philips Research en Eindhoven como un jefe de proyecto y, posteriormente, siguió como un consultor allí hasta 2002. Mientras en Philips se implicó en proyectos industriales en la electrónica de consumo y equipo médico.

Fundó CONCURREN, la serie de la conferencia internacional en la Teoría de Coincidencia, organizando las dos primeras conferencias en Amsterdam en 1990 y 1991. Es un miembro de varios consejos de redacción y es el director editorial de la Ciencia de la Programación y el Diario de Lógica y Programación Algebraica.

Es el Profesor honorario de Ciencias informáticas en la universidad Swansea y un miembro de la Academia Europaea.

Trabajo de métodos formales

La investigación de Jan Bergstra en el cálculo se ha concentrado en conceptos fundamentales, teorías matemáticas e instrumentos prácticos.

Sus programas de investigación teóricos principales son:

Basado en esta investigación teórica, ha diseñado varios métodos formales e instrumentos. En la cooperación con Paul Klint y Jan Heering diseñó la lengua de la especificación ASF (en 1984) y la lengua de coordinación de ToolBus relacionada y sistema (en 1995). Un poco de su trabajo se ha emprendido en el ajuste del programa ESPRIT. Por ejemplo, el software proyecta RÁPIDO y el METEORITO financió los principios del desarrollo del álgebra de proceso ACP, y las telecomunicaciones preven que las GAFAS llevaron al desarrollo de la lengua de la especificación muCRL. Todos los sistemas todavía están en el uso diario con objetivos de investigación, mientras ASF se ha extensivamente usado en la banca holandesa.

Trabajo en academia

A través de su investigación y actividades organizativas, Bergstra ha tenido la influencia considerable en ciencias informáticas en los Países Bajos. Por ejemplo, ha supervisado el trabajo de más de 40 estudiantes de PhD, muchos de los que se han hecho informáticos académicos, 12 al nivel de catedrático. Estableció el nuevo plan de estudios de ciencias informáticas en Leiden (en 1976), y para la inteligencia artificial cognoscitiva en la universidad de Utrecht (en 1989). En 2000 se hizo el Director del Instituto Docente de Ciencias de información en la universidad de Amsterdam. En este papel ha sido responsable de la modernización de todos los cursos cuando el sistema del soltero-maestro de grados se introdujo en los Países Bajos.

Publicaciones seleccionadas

Lo siguiente es unas publicaciones claves:

  1. J. A. Bergstra, A. Ponse y S. A. Smolka (redactores), La Guía de Álgebra de Proceso, Elsevier, 2001.
  2. J. A. Bergstra y M. E. Botines, "Álgebra del programa para Código Componente", Aspectos Formales de Informática, 12 (1):1–17, 2000.
  3. J. A. Bergstra y J. V. Tucker, "Especificaciones ecuacionales, completan sistemas de volviendo a escribir del término y álgebras computables y semicomputables", el Diario del ACM, 42 (6):1194–1230, 1995.
  4. J. A. Bergstra, J. Heering y P. Klint, "Álgebra del Módulo", Diario del ACM, 37 (2):335–372, 1990.
  5. J. A. Bergstra, J. Heering y P. Klint (redactores), Especificación Algebraica, Addison Wesley, 1989.

Enlaces externos



Buscar