Prof. Dines Bjørner was made an ACM Fellow in 2005 "for contributions to formal methods and for international leadership". And he was made an IEEE Fellow in 2005 "for contributions to formal methods software development and its applications in industry".
Prof. Bjørner was Professor of Computing Science at the Technical University of Denmark from 1976 to 2007.
He worked at IBM R & D from 1962 to 1976, with pioneers such as Gene Amdahl, John Backus, E.F. Codd, et al., and at the IBM Laboratory in Vienna he was on the team that developed the Vienna Development Method (VDM), the first ISO standardised formal method.
He was the cofounder and scientific director of the Dansk Datamatik Center (1979–1989), and led many European R & D projects, including work on the formal specification of a semantics for Ada, compilers for CHILL and Ada, and the RAISE Specification Language.
During 1991–1997 he was the founding and first director of the UNU-IIST, the United Nations University International Institute for Software Technology in Macau.
He has held guest professorships at Berkeley, Kiel University, Copenhagen University, the National University of Singapore, and JAIST (Japan Advanced Institute of Science and Technology).
Among many honours, Prof. Bjørner is a member of the Academia Europaea, and a member of the Russian Academy of Natural Sciences; he has received the Masaryk Gold Medal (Masaryk University, Brno, Czech Republic) and the John von Neumann Medal (Hungarian Computer Society); and he is a Knight of the Danish Flag.