Project information
Advanced Method for Analysis and Synthesis of Probabilistic Programs

Probabilistic programs are "standard" programs that can acquire (sample) data randomly from given probability distributions. Formal methods for analyzing, verifying, and synthesizing probabilistic programs are indispensable for achieving their correctness and sufficient performance. The project contributes to this line of research by overcoming selected key limitations of current methods in the verification of programs with unbounded data types, asymptotic complexity analysis, and algorithmic synthesis.