Lukas Miaskiwskyi
Risk Manager at ASR
Utrecht, Utrecht, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolLukas Miaskiwskyi is a risk manager with a PhD in mathematics who blends deep theoretical expertise in infinite-dimensional quantum symmetries with five years of experience applying quantitative methods in financial institutions. He has transitioned from independent academic research—publishing new results on Gelfand-Fuks cohomology and the Virasoro algebra—to practical roles in advanced analytics and risk at Rabobank and ASR. Comfortable with both rigorous proofs and data engineering/BI, he brings a rare combination of abstract mathematical thinking and hands-on implementation. Lukas is also an active contributor to the Lean mathlib4 community, where he helped port foundational mathematical structures between language versions, underscoring his attention to correctness and tooling. Based in Utrecht, he thrives on modernizing neglected literature and translating complex theory into actionable analytics.
4 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Mathematische Physik, 1.0 (Best possible grade), Master of Science - MS, Mathematische Physik, 1.0 (Best possible grade) at The Julius Maximilians University of WürzburgTU Delft
German, English, Dutch, Finnish
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (10)
mathematics10
slim10
theorem-proving10
t410
math10
algebra9
data-structure9
ordered-set9
ordered9
data-structures9
Programming languages (1)
Github contributions (5)
leanprover-community/mathlib4
Dec 2022 - Jan 2023
The math library of Lean 4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:32 reviews, 67 commits, 67 PRs in 1 month
Contributions summary:Lukas primarily contributed to porting and integrating mathematical functions and data structures from Lean 3 to Lean 4 within the mathlib4 library. They ported `Data.Int.Sqrt` and `Order.FixedPoints`. Furthermore, they contributed to porting `Data.Set.Intervals.OrdConnected`, `Order.Monotone.Extension`, and `Data.Int.NatPrime`, indicating a focus on foundational mathematical structures. The user's efforts were vital for the ongoing development of the core mathematical libraries in Lean 4.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
LukasMias/LukasMias.github.io
Nov 2021 - Oct 2022
Contributions:9 pushes in 11 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.