Professor Beckert deals with formal logic and logic-based techniques. These are used for the specification, design, development and verification of software and hardware systems. The goal is to increase the reliability and security of systems.

This approach is particularly necessary for critical systems to ensure that the development process does not lead to new errors.