Łukasz Wrona
Lead Software Engineer at The Walt Disney Company
Manchester, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolŁukasz Wrona is a Lead Software Engineer with over a decade of hands-on experience building high-performance systems in Scala, F# and C++, currently contributing to Disney+ from Manchester. He has driven technical delivery for large public-sector services at HMRC and built commercial platforms ranging from scientific publishing to medical microservices and automated testing tools. Comfortable as a "one-man scrum team," he blends deep backend expertise with pragmatic leadership, guiding stakeholders and engineering teams through complex, user-impacting projects. A self-described "vimming software artisan," he brings meticulous craftsmanship and an affinity for efficient, developer-friendly tooling to every codebase.
10 years of coding experience
9 years of employment as a software developer
Bachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at Polish-Japanese Academy of Information TechnologyComputer Enginnering, Computer Enginnering at Warsaw University of Technology
English, Polish
Github Skills (50)
tlaplus10
tla10
verification10
chrome-extension10
model-checking10
applicative10
lenses10
checker10
cpp10
handlers9
polymorphism9
continuation9
monoid9
semigroup9
functor9
Programming languages (7)
Github contributions (5)
LAJW/AdventOfCode
Dec 2019 - Dec 2024
Contributions:38 pushes, 1 branch in 5 years 1 month
LAJW/cbmc
Jul 2017 - Jan 2020
C Bounded Model Checker
Contributions:285 pushes, 64 branches in 2 years 6 months
model-checkermodel-checkingcppcheckertla
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.