Anja Felicitas KarlDipl.-Ing. BSc
Formal Methods, PhD student
I am contributing to several computer science lectures, including
- Verification and Testing (VO & UE)
- Selected Topics of Design and Verification
- Advising Bachelor and Master Thesis
If you are interested in writing a thesis on a related topic, doing a master project or an internship, justlet me know!