Education: PhD in Software Engineering from Aarhus University, and Master of Science in engineering form Aarhus University and Engineering College of Aarhus, Denmark.
Current employed: Postdoc at Engineering College of Aarhus.
The intrinsic complexity of even simple software systems makes their development challenging. This is especially true for heterogeneous embedded control systems that include the constraints of the physical world. Formal methods and modelling techniques allow software designs to be analysed and thus contribute to their reliability and robustness. However, industrial adoption of formal methods is limited by uncertainties related to their cost, effectiveness and the skills required. This thesis has three areas of focus: manual labour reduction through automation of various kinds of analysis, with focus on validation; language translation utilised to exploit existing automated analysis techniques; and a way to model and simulate embedded control systems that demand high-fidelity representation of their environment, based on a sound formal foundation. The result is a collection of contributions to a modern integrated development environment that can analyse software specifications and simulate hybrid embedded control systems with their environment.
School work done during my BA and MSc:
Coupling Overture to MDA and UML August 2009- January 2009 – Master thesis Development of a model transformation between VDM and UML specified in the Formal Method VDM. Implemented in Java and integrated in Eclipse as a plug-in. Main part of project concerned in-depth language specification analysis. Software development, OO- analysis, in depth analysis of language specifications, Formal Language transformation specification in The Vienna Development Method, implementation of transformation in Java and user interface integrated in Eclipse as a plug-in.
Documentation Fleet Management System August – December 2006 – Final project as ICT Diploma engineer Project covered development of a distributed fleet management system where GPS positioning was used with web services for distribution and an MS SQL was used as storage. Software development, OO- analysis, database development MS SQL 2005, Windows Forms and PDA programming in C# .NET/CF 2, Microsoft MapPoint 2004 and MapPoint Web Service. (Danish) FMS Documentation
MyP3 Codec January – June 2005 Project covered two phases. First phase concerned loss less audio encoding/ decoding of music of different genres. Second phase concerned analysis and implementation of a physoacustic model where the hearing curve was the used as a starting point. Software development, digital signal analysis, Math Lab for both signal processing and graphical user interface. Implementing DSP on EZ-kit Lite (embedded signal processor) (Danish) MyP3