This course introduced the foundations, semantics, and verification techniques for probabilistic programs, with a focus on both theory and hands-on tool support. It targeted students with an interest in formal methods, probability, and programming languages.

My Role

As a teaching assistant, I supported the course by:

• Preparing the weekly exercises and the corresponding solutions
• Presenting the exercise solutions in the exercise classes
• Answering student questions on Moodle and by email
• Grading submissions and ensuring students fulfilled admission requirements
• Preparing, executing, and correcting the exams