Martin Huschenbett
Senior Software Engineer at Google
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolMartin Huschenbett is a Senior Software Engineer in Munich with seven years of industry experience and a PhD-level background in theoretical computer science, combining deep research instincts with hands-on systems engineering. He has led teams building the Daml smart contract language—contributing compiler and core language features—and drove performance work that produced up to 10x interpreter speedups and a 4x customer-facing improvement via a custom profiler. At Google he applied formal methods to secure internal systems, sped up deployments fivefold through automation, and taught a Comprehensive Rust course to colleagues. Comfortable across distributed systems, language design, and developer tooling, he pairs a pragmatic focus on user experience with a history of shipping measurable performance and reliability gains. A less obvious strength is his ability to translate formal academic concepts into practical engineering improvements that accelerate both developer productivity and production throughput.
7 years of coding experience
15 years of employment as a software developer
Dr. rer. nat Theoretical Computer Science, Dr. rer. nat Theoretical Computer Science at Technische Universität IlmenauMaster of Science (M.Sc.) Computer Science and Mathematics, Master of Science (M.Sc.) Computer Science and Mathematics at Leipzig University
German, English, French
Stackoverflow
558reputation
8kreached
12answers
4questions
Github Skills (14)
smart-contracts10
functional-programming10
compiler-design10
daml10
bazel7
distributed-ledger-technology7
distributed-ledger7
persistent6
dictionary6
coq6
noise6
haskell6
elm6
perlin-noise6
Programming languages (3)
Github contributions (5)
digital-asset/daml
Apr 2019 - Apr 2019
The Daml smart contract language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 commits, 27 PRs, 69 pushes in 21 days
Contributions summary:Martin primarily contributed to the development of the Daml smart contract language, focusing on its compiler and core language features. Their work involved adding new tests for features like disjunction choices, removing deprecated data types and value restrictions, and improving the inlining logic during conversion to DAML-LF. The user also made changes related to contract key management and location information within the DAML-LF compiler.
dltbazelsmart-contractcontractblockchain
digital-asset/rusty-engine
Oct 2018 - May 2020
A prototype of a DAML Engine written in Rust
Contributions:9 commits, 1 PR in 1 year 6 months
rustprototypedamlinterpreter
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.