معرفی
Martin Elsman is a full-time Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science, University of Copenhagen (DIKU). He serves as head of the PLTC section and head of studies for the BSc education in Computer Science and Economics. Elsman is also an active maintainer of several software tools including the MLKit and SMLtoJs.
- Joined DIKU in 2012 after 4 years at SimCorp (2008-2012) and previous Associate Professorship at IT University of Copenhagen (2003-2008).
- Co-developer of Futhark, TAIL APL compiler, SMLtoJs, and SMLserver.
Education:
- M.Sc. in Engineering, Technical University of Denmark
- Ph.D. in Computer Science, University of Copenhagen (DIKU), supervised by Mads Tofte.
Research Interests: Elsman works on programming language design and implementation, with a focus on functional programming, module systems, domain-specific languages for financial contracts, region-based memory management, compilation techniques for parallelism, program optimization, and static type systems. His work spans both theoretical and applied domains, including blockchain-based financial contract execution, web technology, and GPU programming using functional languages.
Publication Trends: His recent articles focus on functional programming, array programming, parallelism, and memory management. Topics include region inference, type systems for data-parallelism, program optimization techniques, and domain-specific compilation for financial and quantum computing. He frequently collaborates with Troels Henriksen and others on tools like Futhark and MLKit.
