Dr. Markus Aderhold

M. Aderhold

This is the former webpage of Dr. Markus Aderhold.

Research Interests

  • formal methods for software security
  • best practices for software development
  • information flow security
  • automated reasoning and theorem proving

Services to the Scientific Community

Teaching

Publications

 

Last modified on 2 March 2023.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang