Mark Petruska
Formal Methods Engineer at Input Output (IOHK)
Budapest, Hungary
Summary
🤩
Rockstar🎓
Top SchoolMark Petruska is a Formal Methods Engineer based in Budapest with 11 years of hands-on experience applying type theory, functional programming, and computational logic to improve software quality. He has moved from senior engineering and F# instruction roles into leadership positions in smart contracts and formal verification, most recently joining Input Output (IOHK) after leading smart contract teams and heading smart contract functions at multiple organizations. Comfortable in Scala and functional paradigms, he pairs practical development experience with a deep interest in software development methodologies and formal assurance. Notably, his background spans both product-facing engineering and developer education, reflecting an ability to translate formal techniques into production-ready systems.
11 years of coding experience
17 years of employment as a software developer
Fazekasgraduation programming, graduation programming at Csepel Technical School, BudapestEötvös Loránd Tudományegyetem
English, Hungarian
Stackoverflow
643reputation
47kreached
32answers
0questions
Github Skills (60)
apache-spark10
spark10
weather-api10
python10
core-library10
r10
big-data10
dotnet10
object-oriented-programming10
intellisense10
weather10
jdbc10
java10
scala10
visual-studio10
Programming languages (20)
Github contributions (5)
mpetruska/dotfiles
Sep 2018 - Feb 2026
Contributions:195 pushes, 1 branch in 7 years 5 months
mpetruska/uk-modulo-scala
Aug 2016 - Mar 2022
A Scala implementation of the VocaLink UK Bank account number modulus checking.
Contributions:15 releases, 113 commits, 52 PRs in 5 years 8 months
scalamodulus-checkingvocalinkjava
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.