holds the Chair of Programming Languages and Artificial Intelligence at LMU Munich.
His research focuses on securing software through automated methods. His team builds systems to analyze software and understand its properties and purpose, and to harden software against malicious attacks.
©all images: LMU | TUM