stringtranslate.com

Dines Bjørner

El profesor Dines Bjørner (nacido el 4 de octubre de 1937 en Odense ) es un informático danés .

Se especializa en investigación en ingeniería de dominio , ingeniería de requisitos y métodos formales . [2] Trabajó con Cliff Jones y otros en el Método de Desarrollo de Viena (VDM) en el Laboratorio IBM de Viena (y en otros lugares). Posteriormente participó en la producción del método formal RAISE (Enfoque riguroso de la ingeniería de software industrial) con soporte de herramientas.

Bjørner fue profesor en la Universidad Técnica de Dinamarca (DTU) de 1965 a 1969 y de 1976 a 2007, antes de jubilarse en marzo de 2007. Fue responsable de establecer el Instituto Internacional de Tecnología de Software de la Universidad de las Naciones Unidas ( UNU-IIST ), Macao. , en 1992 y fue su primer director. Su obra maestra sobre ingeniería de software (tres volúmenes) apareció en 2005/6. [3]

Para apoyar a VDM, Bjørner cofundó VDM-Europe, que posteriormente se convirtió en Formal Methods Europe , una organización que apoya conferencias y actividades relacionadas. En 2003, impulsó la Asociación de la Industria de Técnicas Formales asociada ForTIA .

Bjørner se convirtió en caballero de la Orden de Dannebrog en 1985. Recibió un Dr.hc de la Universidad Masaryk , Brno , República Checa en 2004. En 2021, obtuvo un Dr. techn. de la Universidad Técnica de Dinamarca , Kongens Lyngby , Dinamarca . [4] Es Fellow del IEEE (2004) y del ACM (2005). También es miembro de la Academia Europaea desde 1989.

En 2007, se celebró un Simposio en Macao en honor a Dines Bjørner y Zhou Chaochen . [5] En 2021, Bjørner fue elegido miembro de una beca de Métodos Formales Europa (FME). [6] [7]

Bjørner está casado con Kari Bjørner y tiene dos hijos y cinco nietos. [8]

Libros seleccionados

Ver también

Referencias

  1. ^ "IFIP anuncia premios 2023". IFIP . 26 de octubre de 2023. Archivado desde el original el 3 de noviembre de 2023 . Consultado el 3 de noviembre de 2023 .
  2. ^ Dines Bjørner en el servidor de bibliografía DBLP
  3. ^ Bjørner, Dines, Ingeniería de software , 3 volúmenes. Textos de informática teórica, serie EATCS, Springer-Verlag (2005–6).
  4. ^ "Årsfest" (en danés). Dinamarca: Universidad Técnica de Dinamarca . 26 de abril de 2021 . Consultado el 27 de abril de 2021 .
  5. ^ Jones, acantilado B .; Liu, Zhiming ; Woodcock, Jim , eds. (2007). Métodos formales y sistemas híbridos en tiempo real: ensayos en honor a Dines Bjørner y Chaochen Zhou con motivo de su 70 cumpleaños. Artículos presentados en un simposio celebrado en Macao, China, del 24 al 25 de septiembre de 2007. LNCS . vol. 4700. Saltador . doi :10.1007/978-3-540-75221-9. ISBN 978-3-540-75220-2. Consultado el 25 de diciembre de 2020 .
  6. ^ "Beca FME otorgada al Prof. Dines Bjørner". Métodos formales Europa . 24 de noviembre de 2021 . Consultado el 11 de diciembre de 2021 .
  7. ^ Bjørner, Dines (20 de septiembre de 2021). "Discurso de aceptación de la beca FME 2021". YouTube . Consultado el 11 de diciembre de 2021 .
  8. ^ Bjørner, Dines (16 de abril de 2016). "Biografía". Dinamarca: Universidad Técnica de Dinamarca . Consultado el 18 de agosto de 2019 .

enlaces externos