Bettina KönighoferDipl.-Ing. BSc
Formal Methods, PhD Candidate
Since 2015, I’m lecturing the bachelor course:
- Logic and Compatibility (lecture and practicals: summer term)
I teach formal specifications, synthesis and game theory as part of the graduate course:
- Selected Topics Design and Verification (lecture and practicals: winter term)
I assisted in several courses in the field of testing, verification and synthesis, and I have co-supervised several Bachelor and Master students.