Software Engineering is the discipline, which concerns all aspects of the production of software. In our research and teaching we focus on programming and principles for software development, also towards areas like parallel, distributed, embedded and real-time systems.
A goal is to establish methods, techniques and tools for the systematic development of high-quality software products. A main position of our approach is that the construction of software systems is a theory-based activity. In our daily work we want to employ the theory in practical applications, which also may involve experiments with new technology.
A characteristic is that systematic program development is a model-based activity, and a major part of our research is headed towards mathematically well-founded modelling, construction, analysis and verification of software systems and components.
We have a long tradition in the area of formal methods, and our research includes development and application of specification languages as well as modelling, analysis, design and construction in a variety of application areas, like satelite software, security protocols, and large infra structure systems such as transportation systems.
For further information, please contact Head of section, Professor Joseph Kiniry