Stefan Lendl is a CTO and co-founder with 11 years of experience bridging mathematical optimization research and production-grade software, holding a PhD in Mathematics and multiple academic research stays. He specializes in robust optimization and has delivered practical solutions across pharmaceutical production scheduling, automotive transportation optimization, and picking optimization for textile warehouses. Equally comfortable in theory and code, he contributes to tooling like SpaceVim and favors Linux, Rust, and Python for efficient, maintainable systems. Based in Vienna, he combines academic rigor from TU Graz with hands-on startup leadership to turn complex optimization models into deployable, developer-friendly products.
11 years of coding experience
10 years of employment as a software developer
Doktor (Ph.D.), Mathematics, Doktor (Ph.D.), Mathematics at Technische Universität Graz
Research stay (2x2 months), Research stay (2x2 months) at RWTH Aachen University
Research stay (2 months), Research stay (2 months) at Simon Fraser University
Contributions:5 commits, 5 PRs, 34 comments in 8 months
Contributions summary:Stefan primarily contributed to the SpaceVim configuration, demonstrating a focus on extending its functionality and improving user experience. Their work included adding new keybindings and mappings for features like toggling conceal level and clearing the quickfix list, enhancing the editor's usability. They also updated the configuration to leverage the Denite file/rec commands and added additional bindings from coc.nvim for the C language layer, showcasing their ability to integrate and extend existing features. These changes indicate a good understanding of the codebase and a focus on refining the user's development workflow.
Contributions:1 release, 71 commits, 15 pushes in 1 year 7 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.