Michael Lehn

Ulm, Baden-Württemberg, Germany
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
Michael Lehn is a software engineer and applied mathematician with 14 years of experience focused on high-performance numerical computing. He is the developer of FLENS, a C++ scientific computing library, and authored a widely used 13-step GEMM optimization tutorial and teaching framework (ulmBLAS) that guides students from naive implementations to micro-kernels rivaling Intel MKL. His work blends deep mathematical training (Dr. rer. nat. from Universität Ulm and an MSc from USC) with practical low-level performance engineering on x86-64 SSE. Michael teaches and documents what often remains opaque in numerical libraries—how small, targeted changes in a micro-kernel unlock dramatic, cache-aware performance gains. Based in Ulm, Germany, he describes himself succinctly as mathematician, coder, nerd, reflecting a culture of rigorous, hands-on craftsmanship in open-source numerical software.
code15 years of coding experience
bookMaster of Science (MSc), Applied Mathematics, Master of Science (MSc), Applied Mathematics at University of Southern California
bookDr. rer. nat., Dr. rer. nat. at Universität Ulm
languagesEnglish
stackoverflow-logo

Stackoverflow

Stats
3,114reputation
207kreached
26answers
6questions
Badges
fortran
top-1%
eigen
top-5%
github-logo-circle

Github Skills (47)

fortran10
blas10
render10
lapack10
root-finding10
scientific-computing10
linear-algebra10
dialog9
api9
eigen9
markup8
termcap8
lua8
vim8
neovim8

Programming languages (9)

C++ShellCoffeeScriptRustJavaScriptHaskellRubyVim Script

Github contributions (5)

github-logo-circle
michael-lehn/ulm-on-ice

Jan 2023 - Nov 2025

Contributions:85 pushes, 2 branches in 2 years 10 months
michael-lehn/ulm-generator

May 2022 - Jun 2022

Contributions:96 commits, 124 pushes, 2 branches in 1 month
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