I enjoy teaching several courses related to (certified) programming, computer security, and formal verification.
Currently, I am module leader of module Advanced Programming.
I am/have been engaged in teaching various courses at different universities including Alpen-Adria University (AAU), Austria, the University of Leicester, and the University of Surrey, among others. The courses include (but not limited to) Information Security, Distributed Systems, Certified Programming, Ethical Hacking, Secure Systems, Specification and Verification, Service Oriented Architectures, and Agile Cloud Automation (previously Domain Specific Languages).
For more information contact me.