Type: Research Training Group (DFG Graduiertenkolleg, GRK 2236) Programme: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic Field: Computer Science Funding: Deutsche Forschungsgemeinschaft (DFG), 2017–2026 Academic degree: Doktorgrad (PhD)