Markus Klinik
Back End Developer Haskell at Chordify
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolMarkus Klinik is a back-end developer specializing in Haskell with 17 years of software experience and a near-completed PhD in Mathematical Foundations of Computing Science. He combines PhD-level analytical rigor and six years of industrial C++ experience with 15 years of Haskell practice, contributing to notable open-source projects like hspec (improving QuickCheck integration and failure reporting). Comfortable across the full development lifecycle, he values software correctness—favoring test-driven development, code review, and formal techniques—and brings experience teaching compiler construction and operating systems. A Linux and command-line enthusiast who prefers vim, Markus is multilingual (German, English, Dutch), eager to learn new technologies, and regularly pushes himself outside his comfort zone through hobbies from baking to HIIT.
17 years of coding experience
6 years of employment as a software developer
Master's degree, Mathematical Foundations of Computing Science (MFoCS), Master's degree, Mathematical Foundations of Computing Science (MFoCS) at Radboud UniversityDiplom Informatiker (FH), Diplom Informatiker (FH) at Technische Hochschule Nürnberg Georg Simon OhmStaatliche Fachoberschule Erlangen
Stackoverflow
109reputation
1kreached
1answer
6questions
Github Skills (10)
testing10
quickcheck10
haskell10
test-automation10
command-line-interface9
configuration-management8
haskell-stack6
gnuplot6
rascal6
java6
Programming languages (12)
Github contributions (5)
hspec/hspec
Jul 2013 - Mar 2021
A Testing Framework for Haskell
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:2 reviews, 6 commits, 4 PRs in 7 years 9 months
Contributions summary:Markus primarily contributed to enhancing the testing framework for Haskell, focusing on QuickCheck integration. Their commits added features like `qc-max-discard`, incorporating it into the failure reporting mechanism. Furthermore, the user modified the configuration and runner modules to accommodate these changes, including writing and reading from failure reports. They also added new command-line options and updated existing test suites to validate the new features.
smallchecktesting-frameworktestinghaskellquickcheck
mklinik/haskey
Jun 2011 - Feb 2018
Contributions:29 commits, 2 pushes in 6 years 9 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.