Anna Rapberger
Projektass.(FWF) / MSc
Role
-
PreDoc Researcher
Knowledge-Based Systems, E192-03
Courses
2020W
- Formal Methods in Computer Science / 185.291 / VU
- Research Seminar LogiCS / 184.767 / SE
2021S
- Formal Methods in Computer Science / 185.291 / VU