Lecturer
Assitance
Planning & Organisation
SS 2021
| Algorithms on Sequences |
lecture and tutorial |
|
| Theoretische Grundlagen der Informatik |
tutorial |
|
| Algorithmik und Kombinatorik von sequentiellen Strukturen |
master's project |
|
WS 2020/21
| Logik in der Informatik |
tutorial |
|
| Formale Softwareverifikation |
seminar |
|
| Algorithmik und Kombinatorik von Sequenzen |
master's project |
|
SS 2020
| Algorithmics and Combinatorics of Sequences |
seminar |
|
| Theoretische Grundlagen der Informatik |
tutorial |
|
WS 2019/20
| Formale Softwareverifikation |
seminar |
|
| Logical and Theoretical Foundations of CS |
lecture |
|
| Combinatorics on Words - k-locality |
master's project |
|
SS 2019
| How to prove - Techniques for mathematical Proofs (Pre-Master) |
lecture |
|
| Advanced Topics on Algorithms |
lecture |
|
| Algorithmics and Combinatorics of Sequences |
seminar |
|
| Logic in Computer Science (Pre-Master) |
lecture |
|
| Theory of Computation (Pre-Master) |
lecture |
|
WS 2018/19
| How to prove - Techniques for mathematical Proofs (Pre-Master) |
lecture |
|
| Logic in Computer Science (Pre-Master) |
lecture |
|
| Combinatorics on Words (Scattered Factors) |
master's project |
|
| Theory of Computation (Pre-Master) |
lecture |
|
SS 2018
| Theory of Computation (Pre-Master) |
tutorial |
|
| Theory of Computation |
tutorial |
|
| Algorithmics and Combinatorics of Sequences |
seminar |
|
| Theoretische Grundlagen der Informatik |
tutorial |
|
WS 2017/18
| Formale Softwareverifikation |
seminar |
|
| Logik in der Informatik |
tutorial |
|