The group currently runs the following projects:
- APPA: Automated Probabilistic Program Analysis
- CAP Sino-German Project
- CARP: Correct and Efficient Accelerator Programming
- CATSY:Catalogue of System and Software Properties
- D-MILS: Distributed MILS
- HODRIAN: Highly-Robust, Wireless Communication Components for Industrial Applications
- Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
- Research Training Group UnRAVeL
- SENSATION: Self Energy-Supporting Autonomous Computation
- Testing for AADL
- VPLC: Verification of Programmable Logic Controller code