Ken Friis Larsen


I am employed as Associate Professor at the Department of Computer Science, University of Copenhagen in the Algorithms and Programming Languages (TOPPS) researcher group.

If you are interested in my misconceptions about the world, I have a personal blog.


Specific: I'm in the HIPERFIT center and I also participate in the WallViz project.

General: I am interested in almost all aspects of computer science. My own work is mostly about language design and formal methods. I am fascinated by functional programming languages such as: Standard ML, Haskell, Objective Caml, and Scheme.

Other Projects

A bit sketchy

Contact Information

The easiest and most reliable way to contact me is by email.
Home: Ryumgårdvej 105
DK-2770 Kastrup

Private: +45 35 81 65 45
Mobile: +45 51 94 65 45

Author: Ken Friis Larsen (
Created: July 22, 1999, Last modified: June 22, 2011