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.