Murat Kasimov
Designer
Chiang Mai, Thailand
Summary
👤
Senior🎓
Top SchoolMurat 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
Stackoverflow
57reputation
4kreached
0answers
3questions
Github Skills (56)
markdown10
javascript10
mathematics10
functional-programming10
obsidian10
math-library10
theory9
static-site-generator9
math9
telegram-bot-api9
servant9
paper8
fonts8
dispatcher8
typeface7
Programming languages (4)
Github contributions (5)
iokasimov/telega
Mar 2019 - Jul 2021
Inline Telegram Bot API library (WIP)
Contributions:261 commits, 2 PRs, 231 pushes in 2 years 4 months
telegram-bot-api
iokasimov/elections-bot
Mar 2019 - Jul 2021
Contributions:4 PRs, 64 pushes, 5 branches in 2 years 4 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.