Destecs

The Engineering College of Aarhus works closely together with the industry in educating industry-minded engineers. We have done this since 1918 and will continue to do so. We are also developing new technologies in industry-related laboratories in order to constantly improve our studies and promote the competitive power of the industry.

Staff

Professor Peter Gorm Larsen received his MSc (1988) and PhD’s (1995) from the Technical University of Denmark working on semantics and proof support for VDM. He is currently a professor in the Computer Technology and Embedded Systems group at The Engineering College of Aarhus, Denmark, and in addition he has his own small consultancy company. He is an authority on system modelling, particularly the Vienna Development Method for which he has written the majority of its VDM-SL ISO standard. He has worked most of his career in industry before going into academia a few years ago. He has pioneered the development of industrial-strength tool support for model-oriented specification languages when he was working for the Danish company IFAD. In this period he has been involved with many EU projects. Here he left as a department head leading the group for more than a decade that initially developed VDMTools now owned by CSK in Japan. He has been consulting in the industrial use of VDM all over the world for many large international organisations including Aerospatiale, Matra, Dassault, Japan Railways, Boeing, Lockheed Martin and BAe Systems. He has also been working for more than three years for Systematic Software Engineering, one of the few CMMI level 5 companies in Europe) at the management level primarily doing business development for very large defence projects such as the Joint Strike Fighter. He has published more than 40 articles and two books.