Grigoriy Mikheev
Разработчик Биоинформатического ПО at BIOCAD
St Petersburg, St Petersburg City, Russia
Summary
🤩
Rockstar🎓
Top SchoolGrigoriy Mikheev is a bioinformatics software developer based in St. Petersburg with seven years of experience building backend systems in Haskell and Go. Currently at BIOCAD, he applies functional programming principles to bioinformatics tooling, bringing domain-focused rigor to complex data pipelines. His background includes multiple Haskell backend roles across startups and consultancy, demonstrating a consistent specialty in robust, type-safe server-side systems. Educated in software engineering and big data infrastructure, he blends practical engineering with an understanding of large-scale data workflows. Colleagues value his quiet expertise translating research-driven requirements into maintainable production code.
7 years of coding experience
2 years of employment as a software developer
Software Engineering, Software Engineering at Computer Science CenterИнфраструктура больших данных, Инфраструктура больших данных at Школа анализа данныхСанкт-Петербургский политехнический университет Петра Великого
Github Skills (43)
back-end-development10
css10
front-end-development10
nodejs10
modal-logic9
javascript9
web-development-tools9
frontend9
web-development9
logic8
automata8
combinatorics7
ocaml7
theory7
lang7
Programming languages (3)
Github contributions (5)
Gmihtt/modal-type-theory
Oct 2020 - Apr 2021
WIP Modal type theory typechecker and evaluator
Contributions:49 pushes, 4 branches in 5 months
typecheckermodaltype-theorywiptheory
Gmihtt/Inst
Jan 2021 - Jul 2021
Contributions:9 PRs, 50 pushes, 2 branches in 6 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.