Chair of Programming Languages and AI

Breadcrumb Navigation


Research & Current Projects

Our research revolves around the automatic auditing and hardening of applications and systems using program analysis and machine learning. We focus on detecting software vulnerabilities and malware, reverse engineering, and instrumenting software to prevent exploitation. We emphasize theoretically well-founded concepts, but target concrete problems in software systems.