Tomasz Maciosowski
St. John's, Newfoundland and Labrador, Canada
Summary
🤩
Rockstar🎓
Top SchoolTomasz Maciosowski is a software engineer with six years of experience specializing in Haskell development and applied mathematics. Based in St. John's, Newfoundland, he spent several years at MLabs delivering functional, type-safe solutions that reflect his knack for "tricking silicon into thinking." Currently pursuing advanced mathematical studies (MSc) at Memorial University after a BS in Mathematics and Computer Science, he blends rigorous theory with practical engineering. Tomasz favors elegant, formally minded approaches to software problems and brings research-informed rigor to production code. He is comfortable operating at the intersection of math and software, turning abstract models into reliable implementations.
6 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at Concordia University of EdmontonMaster of Science - MS, Mathematics, Master of Science - MS, Mathematics at Memorial University, Newfoundland and Labrador
Stackoverflow
83reputation
345reached
0answers
2questions
Github Skills (149)
programming-language10
trello10
nix10
home-manager10
servant10
perf10
search-api10
smart-contracts10
markdown10
in-progress10
nixos10
linux10
knowledge-graph10
plutus10
graph10
Programming languages (19)
Github contributions (5)
t4ccer/cardano-transaction-lib
Sep 2022 - Feb 2025
A Purescript library for building smart contract transactions on Cardano
Contributions:15 pushes, 7 branches in 2 years 5 months
adasmart-buildingsmart-contractethereumcontract
mlabs-haskell/plutus-test
Feb 2024 - Apr 2025
Haskell Plutus testing utilities
Contributions:14 reviews, 32 PRs, 31 pushes in 1 year 1 month
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.