Algebraic Program Analysis of Probabilistic Programs

Slides

Date
Jun 30, 2023 3:15 PM — 3:40 PM
Event
Formal Methods Seminar, CCF
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.