Erik is a doctoral candidate in theoretical computer science at the University of Oslo. His research is focused on programming semantics, with a particular focus on symbolic execution and probabilistic language systems.