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. The title of my dissertation is Symbolic Execution of Probabilistic Programs.
