Juliane Linda Päßler
Univ.Ass. / PhD
Research Areas
- Software Product Lines, Automated Reasoning, Formal Methods, Software Verification, Computational Logic
Role
-
PostDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
2026S
- Project in Computer Science 2 Trends in cloud computing / 192.035 / PR
- Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.212 / SE
- Seminar in Logic (Formal Methods in Systems Engineering) / 192.211 / SE