Mikkel Milo
Software Engineer III, LogScale (formerly Humio) at CrowdStrike
Aarhus, Central Denmark Region, Denmark
Summary
👤
Senior🎓
Top SchoolMikkel Milo is a software engineer with 10 years of experience, currently driving query compiler and runtime work on the LogScale team at CrowdStrike (formerly Humio). He combines a strong academic background in computer science—including a master's and an exchange in logic & computation—with practical expertise in programming languages, compilers, property-based testing, and formal verification. His research at Aarhus University on smart-contract privacy and a Coq formalisation (ConCert) informs a rigorous approach to building reliable distributed systems. Comfortable across languages like C#, F#, and TypeScript, he translates formal methods into production-ready tooling and developer workflows. Outside of code he’s an avid boulderer, a discipline that mirrors his analytical risk-taking and persistence in tackling hard engineering problems.
10 years of coding experience
3 years of employment as a software developer
Vienna University of TechnologyMaster's degree, Computer Science, Master's degree, Computer Science at Aarhus UniversityHighschool, Highschool at HTX Erhvervsskolerne Aars
Github Skills (23)
verification10
contract9
blockchain9
coq9
specification9
formal-verification9
smart-contracts9
turing-machine8
cryptography8
scala8
testing7
documentation5
property-based-testing4
golang3
finder2
Programming languages (6)
Github contributions (5)
mikkelmilo/ConCert
Feb 2020 - Jul 2021
A framework for smart contract verification in Coq
Contributions:6 PRs, 168 pushes, 21 branches in 1 year 5 months
smart-contractcontractcontract-verificationplutussmart-contracts
mikkelmilo/DSM-project
Jun 2017 - Sep 2017
Contributions:146 commits, 91 pushes, 1 branch in 2 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.