Troels Henriksen

Troels Henriksen is an Assistant Professor on Tenure Track at the Department of Computer Science (DIKU) at the University of Copenhagen, where he is affiliated with the Programming Languages and Theory of Computation research section. His research focuses on programming languages, particularly functional array programming languages, compiler design, and parallel computing. He maintains an active research profile with numerous publications in top-tier programming language conferences.

Dr. Henriksen's research interests center around programming language theory and implementation, with particular emphasis on functional array programming languages. His work bridges theoretical foundations with practical high-performance computing applications. His research spans type systems, compiler optimizations, parallelism, and memory management in the context of array programming languages, contributing to both academic knowledge and practical language implementations.

His recent publications reveal a strong focus on array programming language design and implementation. There is a clear trend toward optimizing functional array languages for high-performance computing environments, with significant work on fusion optimizations, parallelism, and memory management. His research often intersects with practical applications in scientific computing and machine learning, particularly through work on automatic differentiation for array languages.

Dr. Henriksen is actively involved in the programming languages research community, regularly publishing in prestigious venues such as the ACM SIGPLAN conferences. His collaborations span multiple institutions, indicating an active research network in the programming languages field.