Ken Friis Larsen

Associate Professor · Computer Science

Denmark

About

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

Research fields

Computer Science Functional Programming Programming Language Design Formal Methods Embedded Software Virtual Machine Implementation Parser Design Software Optimization

0Publications listed

Ken Friis Larsen

About

Find Ken Friis Larsen elsewhere

Related Searches

You Might Also Like