Dines Bjørner is a Danish computer scientist known for his contributions to formal methods in software engineering and programming languages. He has played a significant role in the development of formal specification techniques, including the use of algebraic methods and the theory of computing. Bjørner is particularly associated with the development of the Vienna Development Method (VDM), which is one of the earliest formal methods used for software specification and development.
New to topics? Read the docs here!