Lasse Hansen
Engineer III - Compiler at CrowdStrike
Aarhus, Central Denmark Region
Summary
👤
Senior🎓
Top SchoolLasse Hansen is an Engineer III specializing in compilers with eight years of experience bridging formal research and practical software engineering. With a PhD trajectory in computer science from Aarhus University and deep expertise in formal verification, homotopy type theory, and category theory, he applies rigorous mathematical methods to real-world problems like side-channel security and probabilistic languages for cryptographic proofs. He transitioned from academic research—formalizing M-types/coinduction in cubical type theory and building security models for power-flow leakage—to production-grade compiler work at CrowdStrike. Comfortable across functional programming, language-based security, and program verification, he brings a researcher’s precision to systems engineering. Based in Aarhus, he combines theoretical depth with hands-on implementation experience that few compiler engineers can match.
8 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Aarhus University
English, Danish, German, Chinese
Github Skills (47)
verification10
formal-verification10
specification10
cryptography10
rust10
agda9
proof9
why39
sat-solver9
eagle9
formal-methods8
plover8
proofs8
coq8
cubical-type-theory8
Programming languages (10)
Github contributions (5)
cmester0/GameJams
Jan 2020 - Jul 2024
Contributions:55 pushes, 1 branch in 4 years 5 months
cmester0/Piet
Dec 2023 - Feb 2025
Working Piet interpreter and stk to Piet compiler
Contributions:2 PRs, 118 pushes, 4 branches in 1 year 3 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.