Dominik Wehr

Saarland University Computer Science
Dominik Wehr

I completed my Bachelor's in Computer Science with a minor in Philosophy at the Universität des Saarlandes. I wrote my Bachelor's thesis at the Programming Systems Lab.

I am predominantly interested in formal logics, foundations of mathematics, type systems and programming languages.

This website is out of date. My new website can be found here.


Teaching

Summer 2019 Student TA
Introduction to Computational Logic
Core Course, Programming Systems Lab.
Summer 2018 Student TA
Introduction to Computational Logic
Core Course, Programming Systems Lab.
Winter 2017/2018 Student TA
Programming 1
Basic Course, Reactive Systems Group.


Legal notice, Privacy policy