Hans Grathwohl
Consultant at Globeteam
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolHans Grathwohl is a consultant and seasoned software developer with 11 years of experience and a PhD in computer science, combining deep theoretical knowledge in type theory with practical system design and implementation. Based in Copenhagen, he specializes in functional programming—favoring Clojure—software architecture and DevOps, and has applied these skills across FinTech and InsurTech products and domain-specific language work. His academic background includes published research with accompanying Agda and Haskell implementations, reflecting a habit of turning formal results into working tools. Hans has moved between roles from research and teaching to hands-on development and architecture, most recently consulting after senior developer and architect positions in industry. He brings a pragmatic focus on the development tools and infrastructure that make reliable, auditable systems possible, and a rare blend of formal rigor and production-minded engineering.
10 years of coding experience
7 years of employment as a software developer
Bachelor’s Degree, Mathematics, Bachelor’s Degree, Mathematics at Københavns Universitet - University of CopenhagenMaster’s Degree, Logic, Master’s Degree, Logic at University of AmsterdamDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Aarhus Universitet
English, Danish, Dutch, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (53)
error-messages10
scripting10
bash10
clojure10
babashka10
graalvm9
coercion9
validation9
transformation9
sh9
code-editor8
ace8
spawning8
interpreter8
clojure-spec8
Programming languages (5)
Github contributions (5)
hansbugge/config-files
Jan 2018 - Nov 2024
Contributions:18 pushes, 4 branches in 6 years 11 months
deondigital/firetruck
Jun 2018 - Feb 2019
CLI tool for Deon Digital products
Contributions:3 releases, 14 commits, 7 PRs in 7 months
cli-tooldigital-productscli
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.