Wojciech Kołowski
Programming Language Designer at Khalani Labs
Lower Silesian Voivodeship, Poland
Summary
👤
Senior🎓
Top SchoolWojciech Kołowski is a programming language designer and formal methods engineer with a decade of experience applying functional programming, type theory, and Coq-based formal verification to real-world systems. He holds a Master’s from the University of Wrocław where his work bridged homotopy type theory, category theory, and practical verification of monadic and functional algorithms. At Runtime Verification he refactored and formalized a 30k LOC consensus framework in Coq, cutting proofs by up to 80% and removing unsafe axioms, and he now designs a language for an intents-based blockchain at Khalani Labs. He also brings financial industry experience as an F# quantitative developer at Credit Suisse, where he integrated C++ pricing models and led R&D on dependently-typed libraries. An educator and author, he teaches interactive theorem proving, is writing a Polish Coq textbook, and maintains an active GitHub with projects that reflect both research and production-level proof engineering. His profile uniquely combines deep theoretical training with hands-on proof engineering and production software delivery in distributed and financial systems.
10 years of coding experience
2 years of employment as a software developer
No degree (moved) Computer Science, No degree (moved) Computer Science at Wrocław University of Science and TechnologyMaster's degree Computer Science, Master's degree Computer Science at University of Wroclaw
Polish, English
Github Skills (39)
proof-assistant10
dependent-types10
agda10
executable10
proofs10
mathematical10
sat-solver10
coq10
theorem-proving10
homotopy-type-theory10
wolfram-language6
smt6
verification6
apl6
c-language6
Programming languages (6)
Github contributions (5)
wkolowski/HoTT
Mar 2018 - Jul 2022
Contributions:66 pushes in 4 years 4 months
wkolowski/wkolowski
Jun 2020 - Oct 2024
Contributions:11 pushes, 1 branch in 4 years 5 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.