Se especializa en investigación en ingeniería de dominio, ingeniería de requisitos y métodos formales . [1] Trabajó con Cliff Jones y otros en el Método de Desarrollo de Viena (VDM) en IBM Laboratory Vienna (y en otros lugares). Posteriormente se involucró en la producción del método formal RAISE (Rigorous Approach to Industrial Software Engineering) 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 magna sobre ingeniería de software (tres volúmenes) apareció en 2005/6. [2]
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, instigó la Asociación de la Industria de Técnicas Formales ForTIA asociada .
Bjørner se convirtió en caballero de la Orden de Dannebrog en 1985. Recibió un Dr.hc de la Universidad de Masaryk , Brno , República Checa en 2004. En 2021, obtuvo un Dr. techn. de la Universidad Técnica de Dinamarca , Kongens Lyngby , Dinamarca . [3] Es miembro del IEEE (2004) y 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 . [4] En 2021, Bjørner fue elegido miembro de una beca de Formal Methods Europe (FME). [5] [6]