Dominik Schrempf
Haskell Software Consultant at Well-Typed LLP
Klosterneuburg, Lower Austria
Summary
🤩
Rockstar🎓
Top SchoolDominik Schrempf is a Haskell software consultant and postdoctoral researcher with over a decade of experience applying functional programming to computational evolutionary biology, physics and finance. He specializes in designing and implementing advanced Markov chain Monte Carlo samplers and probabilistic inference tools, including a flexible Haskell-based sampler with Hamiltonian dynamics used for dating phylogenetic trees. His work spans library development on Hackage, efficient data structures, serialization, parallel and concurrent programming, and production-facing integrations like WebSocket/REST trading bots. Dominik is an active open-source contributor to prominent Emacs projects (Doom Emacs and Spacemacs), demonstrating attention to tooling and developer ergonomics. He is fluent in Linux and Nix ecosystems, comfortable in international research teams, and has a strong publication record supporting his applied research. Colleagues value his blend of rigorous scientific background and pragmatic engineering that turns complex statistical methods into reliable software.
12 years of coding experience
2 years of employment as a software developer
Vienna University of TechnologyDoctor of Philosophy - PhD, Biomathematics, Bioinformatics, and Computational Biology, 1.0, Doctor of Philosophy - PhD, Biomathematics, Bioinformatics, and Computational Biology, 1.0 at VetmeduniResearch fellow, Biomathematics, Bioinformatics, and Computational Biology, Research fellow, Biomathematics, Bioinformatics, and Computational Biology at University of St AndrewsVisiting fellow, Biomathematics, Bioinformatics, and Computational Biology, Visiting fellow, Biomathematics, Bioinformatics, and Computational Biology at Aarhus UniversityVisiting student, Physics, Visiting student, Physics at Pontificia Universidad Católica de Chile
Stackoverflow
837reputation
25kreached
10answers
7questions
Github Skills (18)
configuration-management10
emacs-lisp10
vim10
emacs10
helm10
configuration-file10
spacemacs10
configurations10
latex9
co9
devil7
ubuntu6
haskell6
package6
magit6
Programming languages (26)
Github contributions (5)
syl20bnr/spacemacs
Jul 2017 - May 2021
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 review, 9 commits, 13 PRs in 3 years 11 months
Contributions summary:Dominik primarily contributed to the Emacs configuration, addressing bug fixes and implementing new features related to user experience and functionality. Their work involved modifying and extending keybindings and integrations within the spacemacs environment, including adding functionality for opening URLs in the browser. Furthermore, the user made changes to several packages within Spacemacs. This included adding new features to helm and ggtags.
configurationvimspacemacsemacsemacs-lsp
doomemacs/doomemacs
Oct 2021 - Mar 2022
An Emacs framework for the stubborn martian hacker
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:2 reviews, 6 commits, 7 PRs in 5 months
Contributions summary:Dominik primarily contributed to the Emacs configuration framework by refactoring code related to password management, deprecating obsolete functions and implementing replacements. They also added keybindings for LaTeX compilation and fixed an issue in the mu4e email module related to workspace binding. Additionally, the user made pedantic changes, ensuring consistent naming conventions and fixing broken symbol links.
vimemacs-configurationmartianemacsemacs-lsp
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.