František Silváši
Formal Verification Engineer
Slovakia
Summary
🤩
Rockstar🎓
Top SchoolFrantišek Silváši is a Formal Verification Engineer with a PhD in formal software verification and over eight years of experience blending deep mathematical reasoning with practical software engineering. He specializes in formalizing definitions and proving their correctness—whether those definitions are mathematical theories or production software—using tools like Lean 4 alongside SMT/ATP systems and complementary work in Haskell, Rust, and Python. His work spans compiler engineering, automated reasoning, and hardware-aware performance optimization, including GPU-driven parallelization for computationally intensive proofs and simulations. As an independent researcher and at Nethermind he has applied dependently-typed provers to functional programming and built automation techniques reminiscent of small-scale reflection to accelerate proofs. Based in Slovakia, he pairs academic rigor—published research and teaching experience—with industrial pragmatism, intentionally focusing on principled methods over specific technologies. An unusual facet of his profile is a conscious transition from C++ toward Rust while maintaining an enduring affinity for Lean’s expressive power.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Technická univerzita v KošiciachBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Technical University of Košice
English, Slovak, Czech, German, Latin, Arabic
Github Skills (7)
code-documentation10
cairo9
starknet9
formal-verification9
cryptography2
evm1
ethereum1
Programming languages (3)
Github contributions (5)
Ferinko/LeanSha
Nov 2021 - May 2024
Contributions:2 releases, 2 PRs, 9 pushes in 2 years 6 months
Ferinko/Lean-4-Literature
Aug 2024 - Oct 2024
Contributions:10 pushes in 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.