We’re proud to announce that our Member Martina Maggio has received an ERC Advanced Grant titled “Formal Performance Analysis at Scale”.

Martina Maggio is an expert for real-time software and control and was elected a Member of CPEC in spring 2025. In our upcoming thrid funding period, she will join a new project, together with our PIs Christel Baier and Anne-Kathrin Schmuck.