YoVDO

Foundations of Type-Driven Probabilistic Modelling

Offered By: ACM SIGPLAN via YouTube

Tags

Probabilistic Programming Courses Statistical Modeling Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the semantic foundations of probabilistic and statistical modelling in this comprehensive tutorial from TutorialFest at POPL'24. Delve into the use of types to introduce, utilize, and organize abstractions for probabilistic modelling, starting with discrete probability and progressing to the recently-developed quasi-Borel spaces. Gain hands-on experience through accompanying exercises for self-study, allowing you to develop a working knowledge of the subject matter. Led by Ohad Kammar, this 1 hour and 55 minute session offers a deep dive into the latest breakthroughs in the field, providing valuable insights for researchers and practitioners in probabilistic programming and type theory.

Syllabus

[TutorialFest@POPL'24] Foundations of Type-Driven Probabilistic Modelling


Taught by

ACM SIGPLAN

Related Courses

Introduction to Data Science
University of Washington via Coursera Statistical Inference and Modeling for High-throughput Experiments
Harvard University via edX Applied Logistic Regression
Ohio State University via Coursera Data Science in Real Life
Johns Hopkins University via Coursera Project Risk Assessment
University of Michigan via edX