Ken Friis Larsen

Ken Friis Larsen is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, specializing in programming languages, security, privacy, and functional programming. He contributes to projects like HIPERFIT (high-performance financial computing) and WallViz (visualization tools).

• Research Focus: Language design, formal methods, functional programming (Standard ML, Haskell, OCaml, Scheme), secure compilation, and performance optimization.
• Technical Leadership: Maintains Moscow ML (Standard ML implementation) and mGTK (functional GUI library).

Key Publications:

• 2020: Hermes (secure compilation without side-channels)
• 2019: F (music composition language)
• 2016: Redomap (GPGPU performance in Futhark)

Additional Contributions:

• Co-developed PaML (parser combinators in SML)
• Active participant in ICFP Programming Contest (2005, 2008, 2017)
• Advocate for rigorous testing practices (QuickCheck, Criterion) and type-driven design