Jan Bergstra

Johannes Aldert " Jan " Bergstra (nacido en 1951) es un informático holandés. Su trabajo se ha centrado en la lógica y los fundamentos teóricos de la ingeniería de software , especialmente en los métodos formales para el diseño de sistemas. Es más conocido como experto en métodos algebraicos para la especificación de datos y procesos computacionales en general. ^{[ cita requerida ]}

Jan Bergstra nació en 1951 en Róterdam , hijo de Tjeerd Bergstra y Johanna Bisschop. ^[1] Se educó en el Liceo Montessori de Róterdam (gymnasium beta) y luego estudió matemáticas en la Universidad de Utrecht , comenzando en 1969. Después de una maestría, escribió una tesis doctoral, defendida en 1976, sobre la teoría de la recursión en tipos superiores, bajo la supervisión de Dirk van Dalen .

Bergstra ocupó puestos en el Instituto de Matemáticas Aplicadas y Ciencias de la Computación de la Universidad de Leiden (1976-1982) y en el Centrum Wiskunde & Informatica (CWI) de Ámsterdam. En 1985 fue nombrado profesor de Programación e Ingeniería de Software en el Instituto de Informática de la Universidad de Ámsterdam y, al mismo tiempo, profesor de Lógica Aplicada en la Universidad de Utrecht ; este tipo de puestos compartidos no son poco comunes en los Países Bajos. Sigue ostentando estas dos cátedras.

Fue asesor del CWI (1985-2004). En 1989 trabajó durante un año en Philips Research en Eindhoven como jefe de proyecto y, posteriormente, continuó allí como consultor hasta 2002. Durante su estancia en Philips participó en proyectos industriales sobre electrónica de consumo y equipos médicos.

Fundó CONCUR , la serie de conferencias internacionales sobre teoría de la concurrencia, organizando las dos primeras conferencias en Ámsterdam en 1990 y 1991. Es miembro de varios consejos editoriales y es el editor gerente de Science of Computer Programming y del Journal of Logic and Algebraic Programming .

En 2004, Jan Bergstra se puso en contacto con Mark Burgess , del Oslo University College , en busca de respaldo científico para un curso de máster de un año en administración de sistemas propuesto en la universidad. A pesar de tener orígenes muy diferentes, compartían una mentalidad similar en cuanto a sus actitudes hacia la ciencia y la investigación. Esto dio lugar a que se hicieran amigos y continuaran discutiendo y perfeccionando juntos varias partes de la teoría de la Promesa en visitas mutuas entre Noruega y los Países Bajos. ^[2]

Es profesor honorario de Ciencias de la Computación en la Universidad de Swansea y miembro de la Academia Europaea desde 2006. ^{[1] [3]}

La investigación de Bergstra sobre computación se ha centrado en conceptos fundamentales, teorías matemáticas y herramientas prácticas. Sus principales programas de investigación teórica son:

• un estudio sistemático de métodos de especificación para tipos de datos abstractos a partir de 1979, con John V. Tucker ;
• la invención, desarrollo y aplicación de álgebras de procesos , especialmente ACP a partir de 1984, con Jan Willem Klop , Jos Baeten y otros;
• Módulo Álgebra desde 1986, junto con Paul Klint y Jan Heering;
• Programa Álgebra a partir de 1998, con Marijke Loots.

Basándose en esta investigación teórica, ha diseñado varios métodos y herramientas formales. En colaboración con Paul Klint y Jan Heering diseñó el lenguaje de especificación ASF (en 1984) y el lenguaje y sistema de coordinación ToolBus (en 1995). Parte de su trabajo se ha llevado a cabo en el marco del programa ESPRIT . Por ejemplo, los proyectos de software FAST y METEOR financiaron los inicios del desarrollo del álgebra de procesos ACP, y el proyecto de telecomunicaciones SPECS condujo al desarrollo del lenguaje de especificación muCRL. Todos los sistemas se siguen utilizando a diario con fines de investigación, mientras que ASF se ha utilizado ampliamente en el sector bancario holandés.

A través de sus actividades de investigación y organización, Bergstra ha tenido una influencia considerable en la informática en los Países Bajos. Por ejemplo, ha supervisado el trabajo de más de 40 estudiantes de doctorado, muchos de los cuales se han convertido en científicos informáticos académicos, 12 de ellos a nivel de profesor. ^{[ cita requerida ]} Estableció el nuevo plan de estudios de informática en Leiden en 1976, y el de inteligencia artificial cognitiva en la Universidad de Utrecht en 1989. ^[1]

En 2000 fue nombrado director del Instituto de Enseñanza de Ciencias de la Información de la Universidad de Ámsterdam. En este puesto, fue responsable del rediseño de todos los cursos cuando se introdujo en los Países Bajos el sistema de títulos de grado y máster.

Bergstra se convirtió en miembro de la Real Academia de las Artes y las Ciencias de los Países Bajos en 2011. ^[4]

Publicaciones, una selección: ^[5]

• JA Bergstra, A. Ponse y SA Smolka (editores), The Handbook of Process Algebra , Elsevier , 2001.
• JA Bergstra y ME Loots, "Álgebra de programas para código de componentes", Aspectos formales de la informática , 12(1):1–17, 2000.
• JA Bergstra y JV Tucker , "Especificaciones ecuacionales, sistemas completos de reescritura de términos y álgebras computables y semicomputables", Journal of the ACM , 42(6):1194–1230, 1995.
• JA Bergstra, J. Heering y P. Klint, "Module Algebra", Journal of the ACM , 37(2):335–372, 1990.
• JA Bergstra, J. Heering y P. Klint (editores), Especificación algebraica , Addison Wesley , 1989.
• Burgess, Mark ; Bergstra, Jan (5 de febrero de 2014). Teoría de la promesa: principios y aplicaciones . Createspace. ISBN 978-1495437779.

• Página de inicio de la Universidad de Ámsterdam
• Jan Bergstra, Alban Ponse "Una elusión del resultado de imposibilidad de Cohen", Advances in Grid Computing - EGC 2005, LNCS 3470, páginas 1097-1106. Springer-Verlag, 2005