Mark Petruska
Formal Methods Engineer at Input Output (IOHK)
Budapest, Hungary
Summary
👤
Senior🎓
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 (72)
tooling10
apache-spark10
python10
language-service10
hadoop10
bank10
visual-studio10
netcore10
fsharp10
core-library10
r10
big-data10
linux10
dotnet10
object-oriented-programming10
Programming languages (16)
Github contributions (5)
mpetruska/cv
Sep 2017 - Nov 2024
Curriculum vitae of Mark Petruska
Contributions:3 PRs, 26 pushes, 4 branches in 7 years 3 months
vitaecurriculumcurriculum-vitaemark
mpetruska/dotfiles
Sep 2018 - Oct 2024
Contributions:192 pushes, 1 branch in 6 years 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.