| Title | Type | Semester | Lv-No. |
|---|---|---|---|
| Type Systems and Static Program Analysis | Lecture (V) | SS 2026 | 2400188 |
| Programming Paradigms | Lecture / Practice (VÜ) | WS 25/26 | 2424030 |
| Title | Type | Semester | Lv-No. |
|---|---|---|---|
| Type Systems and Static Program Analysis | Seminar (S) | WS 25/26 | 2400267 |
Bachelor's / Master's thesis
If you are interested in working with us for your bachelor's/master's thesis, especially in incremental computing or static program analysis, please reach out by sending an email to pl-thesis∂listen.informatik.kit.edu!