ERC-Grant: Self-Optimizing Static Program Analysis

Project Period: 2024-11-01 – 2029-10-31
Further information can be found in the project profile.

To the project profile