The course provides a comprehensive introduction to the theoretical foundations of formal methods, introducing e.g. operational, denotational, and axiomatic semantics.

My Role

As a teaching assistant, I contributed to the successful delivery of the course by:

• Creating weekly exercise sheets, overlooking the grading of the exercises, and presentating the correct solutions in the exercise class
• Participating in the oral exams

More details are available at the official course page.