Recent Teaching Activities and Theses Offers

Feel free to contact me, if you are interested in doing an Bachelor Thesis, Master Thesis or a PhD Thesis. Especially, if you would like to work in the area of software engineering, formal methods, or information security (e.g., building secure and safe systems by using both applied and formal techniques).


Teaching Activities and Supervised Theses

Supervised Theses