Ladislav Dubravský is a Senior Software Engineer with 8 years of experience who blends a formal mathematics background with practical expertise in blockchain, cryptography and distributed systems. At Vacuumlabs he’s worked on decentralized oracles, rollups and cross-chain protocols, and cryptographic asset-transfer projects, often implementing backend and client solutions in functional languages like ClojureScript and Rust. Previously he applied quantitative and forecasting skills to energy trading and actuarial modeling, automating complex workflows in Python. A fan of algebraic puzzles and functional programming, he brings a formal, problem-first approach to system design and a taste for elegant, provable solutions that surface in both research-style protocols and production software.
8 years of coding experience
4 years of employment as a software developer
Master's degree, Mathematics, Master's degree, Mathematics at Comenius University in Bratislava, Faculty of Mathematics, Physics and Informatics
Contributions:40 commits, 1 PR, 37 pushes in 3 years 3 months
pythonanalyzerubikcubes
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.
Request Free Trial
Ladislav Dubravský - Senior Software Engineer at Vacuumlabs