IT student at TU Munich.
Interests: OpenBSD, static code analysis, automated formal verification, cyber security.