Software Engineering and Programming Languages
This is the age of software. Almost every modern electronic device has some parts implemented in software. Compared to hardware solutions, software is much cheaper and more flexible. But there is a downside to this: Software errors can cause substantial financial loss or even endanger lives.
At our group we mainly work on tools and methods to support the development of safety critical systems. We want to cover the complete development chain, starting from requirement elicitation and modelling to the generation of executable programs.
We are also working on just-in-time compilation and static analysis as well as logic and functional programming.