Daniel Hillerström
Senior Software Engineer at Category Labs
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolDaniel Hillerström is a Senior Software Engineer and computer scientist with 12 years' experience applying programming language theory to practical compiler and runtime engineering. He designs and implements novel language abstractions—especially around effect handlers and algebraic effects—and has contributed to the Koka language compiler while driving compiler and runtime work in C++23, Rust, OCaml and Wasm across industry and research roles. A PhD graduate from the University of Edinburgh and former UKRI Future Leaders Fellow, he has balanced deep academic work (including internships at Microsoft and Google) with engineering at Huawei and Category Labs, shipping optimizations for AI compilers and portable runtimes. Based in New York, he blends formal semantics with production systems to build robust, secure, high-performance software, and his GitHub persona as an “effectful programmer” reflects a long-standing focus on expressive, practical effect systems.
11 years of coding experience
7 years of employment as a software developer
Elementary school, Elementary school at Gug SkoleSummer School Participant, IT Security, Summer School Participant, IT Security at Technische Universität Wien / Technical University ViennaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of EdinburghElementary school, Elementary school at Virklund SkoleStudent, Mathematics, Physics, Student, Mathematics, Physics at Silkeborg GymnasiumParticipant, SICSA Summer School on Practical Types, Participant, SICSA Summer School on Practical Types at University of St. AndrewsBSc, Mathematics and Computer Science, (Discontinued), BSc, Mathematics and Computer Science, (Discontinued) at Aalborg Universitet
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (3)
compiler-development10
haskell9
type-system9
Programming languages (10)
Github contributions (5)
koka-lang/koka
Jul 2019 - Aug 2019
Koka language compiler and interpreter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:39 commits, 3 PRs, 36 pushes in 28 days
Contributions summary:Daniel is focused on implementing evidence translation within the Koka language compiler. They've written boilerplate code and are working on the evidence translation on types, specifically implementing the [VAR] rule and defining homomorphism cases. Their work involves modifying and extending the `Core/Evidence.hs` file, which is a central part of the compiler's core functionality, particularly concerning effect handlers and algebraic effects.
effect-handlershaskellcompilerparser-generatoralgebraic-effects
dhil/asus-zenfan
Jun 2014 - May 2015
Contributions:28 commits, 26 pushes in 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.