Lukasz Stafiniak
Open Source Developer at Ahrefs
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolLukasz Stafiniak is an open source developer and software engineer with 13 years of experience, blending rigorous academic training (PhD in Computer Science) with long tenures at Google and current sponsored work at Ahrefs on OCANNL. His research and engineering focus sits at the intersection of program synthesis, constraint solving, and machine learning—driving projects like InvarGenT (dependent-type inference) and Toss (hybrid modelling with games). Comfortable moving between research and production, he has a track record of turning formal methods into practical tooling and is actively exploring AGI-relevant areas such as reinforcement learning and natural language understanding. Based in Zurich, he brings a mathematician’s precision from an MSc in Mathematics to software and ML problems, often favoring provable, analysis-driven approaches over heuristics. An understated strength is his ability to navigate long-term research projects while contributing to open-source ecosystems backed by industry sponsors.
13 years of coding experience
6 years of employment as a software developer
MSc Mathematics, MSc Mathematics at Wrocław University of Science and TechnologyPhD Computer Science, PhD Computer Science at University of Wroclaw
English, Polish
Github Skills (76)
visual-studio-code-extension10
python10
visual-studio10
gpu10
opam10
multicore10
editor10
package-repository10
dune10
gleam10
idris10
jbuilder10
electron10
typescript10
vscode-extension10
Programming languages (8)
Github contributions (5)
lukstafi/navi-parens
Nov 2022 - Mar 2025
Contributions:11 releases, 85 pushes, 1 branch in 2 years 5 months
lukstafi/printbox
Dec 2023 - Mar 2025
Contributions:2 PRs, 93 pushes, 7 branches in 1 year 2 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.