Moritz Kiefer
Language Engineer at Digital Asset
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolMoritz Kiefer is a Language Engineer based in Zurich with 11 years of experience building compiler- and tooling-level software, currently working at Digital Asset. He is a prolific contributor to the Haskell ecosystem, with substantive back-end work on flagship projects like GHC, Cabal, haskell-language-server and the Daml smart contract language, focusing on compiler internals, IDE features and cross-package code navigation. His contributions span low-level bindings (llvm-hs), build and CI tooling (stackage Docker/LLVM), and pragmatic front-end improvements (Miso), showing comfort across systems, tooling and UX boundaries. Moritz combines rigorous academic training from KIT with hands-on DevOps and performance tuning, and is known for refactors that improve maintainability and developer experience rather than flashy features. An understated strength is his ability to bridge compiler theory and practical engineering—turning complex type- and build-system problems into robust, testable solutions.
12 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Karlsruhe Institute of Technology (KIT)Abitur, Abitur at Kepler Gymnasium
German, English, French
Github Skills (36)
json10
docker10
virtual-dom10
package-management10
llvm10
accounting10
build-system10
bash10
language-server-protocol10
daml10
ui-design10
dockers10
cicd10
plaintext10
language-server10
Programming languages (24)
Github contributions (5)
digital-asset/daml
Apr 2019 - Nov 2022
The Daml smart contract language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 5124 reviews, 2289 commits in 3 years 7 months
Contributions summary:Moritz primarily worked on adding and modifying features in the Daml smart contract language repository. Their commits focused on introducing and refining functionalities, such as improving handling of errors, updating and supporting new protocol buffer features and integrating exception handling capabilities, and improving the efficiency of certain code structures. These changes involved modifications across multiple source files related to core functionalities, and testing.
damlsmart-contractssmart-contractdltprivacy-by-design
llvm-hs/llvm-hs
Jan 2017 - Apr 2021
Haskell bindings for LLVM
Role in this project:Back-end Developer
Back-end DeveloperContributions:3 reviews, 329 commits, 248 PRs in 4 years 4 months
Contributions summary:Moritz primarily contributed to Haskell bindings for LLVM. Their work focused on fixing warnings, enabling and fixing tests using AddressSanitizer, ThreadSanitizer and on the refactoring of the module. They were also involved in fixing build issues and supporting the LLVM C API, indicating a focus on the low-level aspects of the project. Furthermore, the user removed obsolete trap function handling, showing a good understanding of the LLVM versioning and code evolution.
haskellllvmllvm-hshaskell-bindingscode-generation
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.