Ken Friis Larsen

Ken Friis Larsen is an Associate Professor at the University of Copenhagen in the Algorithms and Programming Languages (APL) research group. His work focuses on functional programming languages (e.g., Standard ML, Haskell, OCaml, Scheme), language design, and formal methods.

• Active in the HIPERFIT research center
• Participant in the WallViz project
• Key contributor to open-source projects like Moscow ML, mGTK, HOL 4, and PaML