| Title | Type | Lv-No. |
|---|---|---|
| Interactive Theorem Proving | Praktikum (P) | 2400264 |
| Programming Language Design and Implementation | Praktikum (P) | 2400248 |
| Type Systems and Static Program Analysis | Seminar (S) | 2400267 |
| Title | Type | Lv-No. |
|---|---|---|
| Type Systems and Static Program Analysis | Lecture (V) | 2400188 |
| Exercises for the lecture Type Systems and Static Program Analysis | Practice (Ü) | 2400192 |
| Interactive Theorem Proving | Praktikum (P) | 2400216 |
| Title | Type | Lv-No. |
|---|---|---|
| Programming Paradigms | Lecture / Practice (VÜ) | 2424030 |
| Type Systems and Static Program Analysis | Seminar (S) | 2400267 |
Bachelor's and 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!