Erik is a post-doctoral researcher in theoretical Computer Science at the Open University of the Netherlands. He is currently researching logics that enable analysis of binary code to automatically detect vulnerabilities.
Previously, Erik graduated as a PhD candidate in theoretical computer science at the University of Oslo, with his dissertation Symbolic Execution of Probabilistic Programs.
