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)
PL 
EN
CS
DE
ES
FR
HU
IT
PT
РУ
SK
TR
УК
AR
中文
