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