Murat Kasimov is a software designer and engineer with a decade of experience building robust, formally minded systems, primarily using Haskell and Rust. He has worked across blockchain and systems projects—most recently at zkFold and Coinweb.io—bringing functional programming rigor to real-world, safety-critical code. Based in Chiang Mai, he favors elegant, type-driven solutions that reduce ambiguity and surface bugs early in development. His background includes roles at Select*, Serokell, and several startups where he applied formal methods to product-facing features and protocol implementations. Murat combines deep functional-programming expertise with pragmatic delivery across distributed and cryptographic domains. He’s equally comfortable authoring concise abstractions as he is integrating them into production systems.
10 years of coding experience
6 years of employment as a software developer
Specialist degree, Specialist degree at Southern Federal University (former Rostov State University)
Japanese, English, Ελληνικά, Русский, Українська, Thai, Japanese
Contributions:4 PRs, 21 pushes, 3 branches in 2 years 7 months
bandcampmusicmusic-albumsalbums
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.