Courses of Study 2021-2022 
    
    Nov 28, 2021  
Courses of Study 2021-2022
Add to Favorites (opens a new window)

CS 6182 - Foundations of Probabilistic Programming


     
Fall. 4 credits. Student option grading.

Prerequisite: CS 4110  or CS 5110  or CS 6110  or permission of instructor. Enrollment limited to: graduate students or permission of instructor. Students will be able to determine how to apply probabilistic programming to various application domains.” 

J. Hsu.

Probabilistic programming languages are a powerful tool to express randomized computations and model uncertain behavior. This seminar surveys recent research on such languages, from the perspective of programming languages, logic, and verification. The topic naturally divides into three sections. The first part of the course covers the semantics of probabilistic programming languages: what do such programs mean mathematically, especially when the languages are extended with operators for conditioning and inference? The second part of the course covers verification: what does it mean for probabilistic programs to be correct, and how can we formally verify correctness? Finally, the last part of the course covers applications of probabilistic programs.

Outcome 1: Students will be able to mathematically formalize and rigorously analyze state-of-the-art probabilistic programming languages.

Outcome 2: Students can verify practically important properties of probabilistic programs.

Outcome 3: Students will be able to determine how to apply probabilistic programming to various application domains.



Add to Favorites (opens a new window)