We perform research and education on methods and tools for the analysis and construction of safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures.
Our objective is to construct and implement security-critical systems and develop better processes for their construction whereby we can make mathematically precise statements about their behavior. We build on foundations in mathematical logic, discrete mathematics and cryptography, algorithms, complexity theory, and probability theory.