Mikael Lagerkvist
Senior Principal Engineer at SambaNova Systems
Stockholm County, Sweden
Summary
👤
Senior🎓
Top SchoolMikael Lagerkvist is a Senior Principal Engineer with 20 years of experience blending deep academic research in constraint programming with hands-on product delivery across web, backend, and optimization systems. He co-founded Optischedule and has applied custom algorithms and MiniZinc models to real-world rostering and scheduling problems, while also contributing to oncology information systems and industrial geometric optimization. Comfortable across the stack—from TypeScript React frontends and PostgreSQL schemas to Java/Kotlin services and C# microservices—he emphasizes pragmatic technology choices, sustainable design, and knowledge transfer. His recent work includes independent research on incomplete solving methods for constraint programming and building LLM compilation tooling for dataflow architectures, reflecting a rare mix of theoretical insight and practical engineering.
20 years of coding experience
4 years of employment as a software developer
Master of Science and Engineering, Computer Science and Engineering, Master of Science and Engineering, Computer Science and Engineering at KTH Royal Institute of Technology
Stackoverflow
1,934reputation
95kreached
41answers
0questions
javadoc
top-5%
Github Skills (163)
experiences10
constraint-satisfaction10
duplicates10
constraint10
remix10
linear-programming10
optimization10
fundamentals10
javascript10
operations-research10
command-line-parser10
site-generator10
rust10
database10
sqlite10
Programming languages (13)
Github contributions (5)
zayenz/minizinc-pentominoes-generator
Aug 2020 - Nov 2022
Generator program for MiniZinc models for pentominoes-like placement problems
Contributions:18 PRs, 29 pushes, 2 branches in 2 years 3 months
minizincplacementproblems
zayenz/libminizinc
Aug 2017 - Dec 2021
The MiniZinc compiler
Contributions:5 pushes, 6 branches in 4 years 4 months
compilerminizinc
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.