Page Not Found
Sorry, but the page you were trying to view does not exist — perhaps you can try searching for it below.
Dr Kiko Fernandez-Reyes
Software Engineer at Klarna. Previously, I was part of the programming languages research group at Uppsala University with specialisation in concurrent and functional programming languages, type systems, and formal methods, core developer of the actor-based Encore programming language, and main lecturer of the course Advanced Software Design at Uppsala University.