Sommersemester 2021
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Lecture | Software Engineering Practice |
| Common Excercises | Tutorial for Language Technology and Compilers |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2020/2021
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Programming Paradigms - Exercises |
| Laboratory | PSE: Visualisation of Type Inference |