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 métodos formales para el diseño de sistemas. Es mejor conocido como experto en métodos algebraicos para la especificación de datos y procesos computacionales en general. [ cita requerida ]
Biografía
Jan Bergstra nació en 1951 en Rotterdam , hijo de Tjeerd Bergstra y Johanna Bisschop. [1] Fue educado en el Montessori Lyceum Rotterdam (gymnasium beta) y luego estudió matemáticas en la Universidad de Utrecht , a partir de 1969. Después de una maestría, escribió una tesis doctoral, defendida en 1976, sobre la teoría de la recursividad en tipos superiores, bajo la supervisión de Dirk van Dalen .
Bergstra ocupó cargos en el Instituto de Matemáticas Aplicadas y Ciencias de la Computación de la Universidad de Leiden (1976–82) y en el Centrum Wiskunde & Informatica (CWI) en Amsterdam. En 1985 fue nombrado profesor de Ingeniería de Programación e Software en el Instituto de Informática de la Universidad de Amsterdam y, al mismo tiempo, profesor de lógica aplicada en la Universidad de Utrecht ; tales posiciones divididas no son infrecuentes en los Países Bajos. Estas dos sillas las sigue sosteniendo.
Ha sido asesor del CIT (1985-2004). En 1989 trabajó durante un año en Philips Research en Eindhoven como líder de proyecto y, posteriormente, continuó como consultor allí hasta 2002. Mientras estuvo en Philips, estuvo involucrado 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 Journal of Logic y Programación algebraica .
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 maestría de un año propuesto en la Universidad en administración de sistemas. A pesar de sus orígenes muy diferentes, compartían una mentalidad similar en sus actitudes hacia la ciencia y la investigación. Esto dio como resultado que se hicieran amigos y luego discutieran y perfeccionaran juntos varias partes de la teoría de Promise 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]
Trabaja
Sobre métodos formales
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 de Álgebra a partir de 1986, junto con Paul Klint y Jan Heering;
- Programa Álgebra a partir de 1998, con Marijke Loots.
Con base en esta investigación teórica, ha diseñado varios métodos y herramientas formales. En cooperació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 relacionado (en 1995). Parte de su trabajo se ha realizado 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 todavía se utilizan a diario con fines de investigación, mientras que ASF se ha utilizado ampliamente en la industria bancaria holandesa.
En la academia
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 a nivel de profesor. [ cita requerida ] Estableció el nuevo plan de estudios de ciencias de la computación en Leiden en 1976, y para la inteligencia artificial cognitiva en la Universidad de Utrecht en 1989. [1]
En 2000 se convirtió en Director del Instituto de Enseñanza de Ciencias de la Información de la Universidad de Amsterdam. En este cargo, ha sido responsable del rediseño de todos los cursos cuando se introdujo el sistema de títulos de licenciatura y maestría en los Países Bajos.
Bergstra se convirtió en miembro de la Real Academia de Artes y Ciencias de los Países Bajos en 2011. [4]
Publicaciones
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 programa para código de componentes", Aspectos formales de la informática , 12 (1): 1-17, 2000.
- JA Bergstra y JV Tucker , "Especificaciones ecuacionales, sistemas de reescritura de términos completos y álgebras computables y semicomputables", Journal of the ACM , 42 (6): 1194-1230, 1995.
- JA Bergstra, J. Heering y P. Klint, "Módulo de álgebra", Journal of the ACM , 37 (2): 335-372, 1990.
- JA Bergstra, J. Heering y P. Klint (editores), Algebraic Specification , Addison Wesley , 1989.
- Burgess, Mark ; Bergstra, Jan (5 de febrero de 2014). Teoría de las promesas: principios y aplicaciones . Crea espacio. ISBN 978-1495437779.
Referencias
- ^ Un b c Jan A. Bergstra (2009) " Curriculum Vitae Ene Aldert Bergstra " en uva.nl . 20 de octubre de 2009. Consultado el 30 de agosto de 2013.
- ^ http://markburgess.org/bio.html
- ^ "Jan Aldert Bergstra" . Academia Europaea. Archivado desde el original el 28 de marzo de 2019.
- ^ "Jan Bergstra" . Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 7 de febrero de 2016 . Consultado el 7 de febrero de 2016 .
- ^ Jan A. Bergstra en elservidor de bibliografía DBLP
enlaces externos
- [1] página de inicio en fnwi.uva.nl
- Jan Bergstra, Alban Ponse " Un bypass del resultado de imposibilidad de Cohen ", Avances en la computación en cuadrícula - EGC 2005, LNCS 3470, páginas 1097-1106. Springer-Verlag, 2005