Dines Bjørner

|local_nascimento =Odense |data_morte = |local_morte = |causa_morte = |pais_de_residencia =Dinamarca |nacionalidade =Dinamarquês |etnicidade = |campo =Ciência da computação |instituicao_trabalho=, |alma_mater = |tese = |orientador = |orientado = |conhecido_por = |influenciado = |premio = |conjuge = |religiao = |assinatura = |notas = }} Dines Bjørner (Odense, ) é um cientista da computação dinamarquês.

É especialista em pesquisas sobre engenharia do domínio, engenharia de requisitos e métodos formais. Trabalhou com Cliff Jones e outros sobre o Vienna Development Method (VDM) no IBM Laboratory Vienna. Mais tarde esteve envolvido com a produção do Rigorous Approach to Industrial Software Engineering (RAISE).

Bjørner foi professor da Universidade Técnica da Dinamarca (DTU) em 1965–1969 e 1976–2007, aposentando-se em março de 2007. Foi responsável por estabelecer o Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas, Macau, em 1992, e foi seu primeiro diretor. Sua ''magnum opus'' sobre engenharia de software (em três volumes) foi publicada em 2005/2006.

Bjørner é fellow do Instituto de Engenheiros Eletricistas e Eletrônicos (IEEE) (2004) e da Association for Computing Machinery (ACM) (2005). É também membro da Academia Europaea desde 1989.

Em 2007 foi organizado um simpósio em Macau em honra de Dines Bjørner e Zhou Chaochen. Fornecido pela Wikipedia