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
2026W
- Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.212 / SE
- Seminar in Logic (Formal Methods in Systems Engineering) / 192.211 / SE
2027S
- Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.212 / SE
- Seminar in Logic (Formal Methods in Systems Engineering) / 192.211 / SE