Download Slides (PDF)

By Prof. Dines Bjorner, Technical, University of Denmark

Abstract. We argue that computing systems requirements must be based on precisely described domain models -- and we argue that domain science & engineering offers a new dimension in computing. We review our work in this area and we outline a research and experimental engineering program for the triptych of domain engineering, requirements engineering and software design.

A short bio. Dines Bjorner is currently an emeritus professor at the Technical University of Denmark. He graduated with an MSc in Electronics Engineering (1962) and with a Ph.D. in Computer Science (1969). He started his career working on hardware, e.g., the IBM ACS/1 supercomputer in the 1960's, and then worked on research subjects like Functional Languages, Relational Data Base Systems, Denotational(-like) Semantics Description of PL/I, and programming methodology. His best contributions are on formal specification principles and techniques. He is a main reference in Formal Methods and an author of a key book on rigorous software engineering, from requirements to design and verification (among multiple books and hundreds of publications). Dines was a research visitor in more than 50 countries, with 13 years spent at IBM.

Among his distinctions, Dines has received the John von Neumann Medal of the JvN Society of Hungary, the Ths. Masaryk Gold Medal from the Masaryk University, The Czech Republic, the Danish Engineering Society's (IDA) first BIT prize, and a honorary doctor from the Masaryk University, The Czech Republic. He is also an ACM Fellow and an IEEE Fellow.

Dines is co-founder of United Nations University's International Institute for Software Technology (Macau), the association Formal Methods Europe, ForTIA (Formal Techniques Industry Association), and the Dansk Datamatik Center (DDC).

Coffee session: at 1:30PM-2PM, Sala de Estar, 4th Floor

Talks session: at 2PM-3PM, Auditório A2, 1st Floor