Current courses
| Title | Type |
|---|---|
| Bachelor's Project Software and Systems Engineering | Project |
| Master's Project Software and Systems Engineering | Project |
| Software Engineering | Lecture |
| Software Engineering (Exercise) (1. Parallel Group) | Exercise |
| Software Engineering (Exercise) (2. Parallel Group) | Exercise |
| Decision Procedures for Software Verification | Directed Studies |
| Decision Procedures for Software Verification (Exercise) | Exercise |
| Verification of Software and Systems | Lecture |
| Verification of Software and Systems (Exercise) | Exercise |
| Soft Meeting AG Leue (intern) | internal event |