Leonhard Horstmeyer

Smart Contracts Lead at Basic Research Community Physics

Vienna, Austria
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Leonhard Horstmeyer is a Smart Contracts Lead and researcher blending nine years of deep academic work in stochastic network dynamics with practical engineering of on-chain governance in the Ethereum ecosystem. He studies precursors of critical transitions and dimensional reduction techniques—work that informs robust, minimal models for complex systems and underpins his approach to secure, auditable protocol design. At Blueprint Finance he leads smart-contract development while concurrently contributing to research and teaching roles across Vienna’s research community, linking theory to deployable code. His background spans top-tier institutions (Cambridge, LMU, Imperial) and labs (Max Planck, Complexity Science Hub), giving him uncommon fluency in both rigorous mathematical methods and production-grade blockchain systems. Colleagues rely on him for translating moment-closure insights into practical tooling for governance primitives and for building backend integrations that bridge decentralized markets and AI.
code10 years of coding experience
job6 years of employment as a software developer
bookLudwig Maximilian University of Munich
bookM.A.St, Mathematics, M.A.St, Mathematics at University of Cambridge
bookBachelor of Science (B.Sc.), Physics, First Class, Bachelor of Science (B.Sc.), Physics, First Class at Imperial College London
bookPhysics, Physics, Physics, Physics at King's College London
languagesEnglish, Spanish, French
stackoverflow-logo

Stackoverflow

Stats
207reputation
29kreached
0answers
15questions
github-logo-circle

Github Skills (13)

debugging6
compression6
csrf6
anaconda6
php6
dbeaver6
dht6
delta6
csrf-token6
cvxopt6
git5
git-hooks4
substrate2

Programming languages (7)

TypeScriptRustSolidityJavaScriptPHPHTMLPython

Github contributions (5)

github-logo-circle
leomarlo/raa-space-web

Jun 2025 - Jul 2026

web presence of raa-space
Contributions:44 PRs, 66 pushes, 37 branches in 1 year 1 month
Lakat-OS/lakat-py

Jul 2023 - Mar 2025

bare bones python implementation of Lakat
Contributions:1 review, 39 PRs, 45 pushes in 1 year 8 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.
Request Free Trial