As our dependency on computers grows, the software they run is becoming more complex. Unfortunately, our ability to control the complexities of software and of software design effectively and efficiently is lagging far behind. Consequently, both the likelihood of errors and their potential damage increases. More research is needed to make today's and tomorrow's software systems less costly, and yet more reliable, reusable, and secure.

Formal methods offer concepts, methods, and tools that are firmly grounded in mathematics and aim at specifying, analyzing and verifying program behaviour. Our research interests span the theory and application of formal methods to the design, analysis and verification of complex software systems. A description of research projects can be found here.

Applied Formal Methods Group Dinner (2005)