Me, IRL, in Florence.
Nikolaj Hey Hinnerskov
I'm a programmer and a PhD student in the PL
section at the
University of Copenhagen
(supervised by Cosmin Oancea ).
I work on
Futhark , a functional array language, with a focus
on program verification and optimization.
I'm interested in the ergonomics of writing performant, bug-free
programs—how static analyses can give better feedback for the
programmer (human or otherwise) while eliminating runtime overhead.
Contact :
CV (pdf) ·
nihi@di.ku.dk (email) ·
Google
Scholar ·
GitHub
Publications
Verifying Array
Properties in Pure Data-Parallel Programs .
Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin
Oancea. PLDI 2026.
AUTOMAP: Inferring
Rank-Polymorphic Function Applications with Integer Linear
Programming .
Robert Schenck, Nikolaj Hey Hinnerskov, Troels
Henriksen, Magnus Madsen, Martin Elsman. OOPSLA 2024.
Reverse-Mode
AD of Multi-Reduce and Scan in Futhark .
Lotte Maria Bruun, Ulrik Stuhr Larsen,
Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea.
IFL 2023.
Seasonal-Trend
Time Series Decomposition on Graphics Processing Units .
Dmitry Serykh, Stefan Oehmcke, Cosmin Oancea, Dainius
Masiliūnas, Jan Verbesselt, Yan Cheng, Stéphanie
Horion, Fabian Gieseke, Nikolaj Hinnerskov.
IEEE Big Data 2023.
