Dominik Wehr

Saarland University Computer Science
Dominik Wehr

I am currently doing my Bachelor's in Computer Science with a minor in Philosophy at the Universität des Saarlandes. At the moment I am researching for my Bachelor's thesis at the Programming Systems Lab.

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


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.

Contact

Mail: s8dowehr at stud dot uni-saarland dot de
Adress: Saarland University,
Saarland Informatics Campus E1 3, Rm 518
66123 Saarbrücken


Legal notice, Privacy policy