Teaching and Courses

Forthcomming Courses

Summer 2020
Machine Learning and Reasoning

Past Courses

Summer 2019
Machine Learning and Reasoning
Summer 2017
Formal Mathematics and Proof Assistents