Skip links
Skip to primary navigation
Skip to content
Skip to footer
about me
blog
(open) master projects
fp
program verification
supervision
publications
teaching
compiler construction
sa
Toggle menu
PGP