Konstantin Chukharev
Saint Petersburg, Saint Petersburg, Russian Federation
Summary
👤
SeniorKonstantin Chukharev is a software engineer, graduate research assistant, and lecturer at ITMO University with 11 years of hands-on experience spanning research, teaching, and applied development. He combines deep academic training in mechatronics, robotics, and bioinformatics with a master’s in software engineering, bringing strong formal-methods and bioinformatics intuition to practical coding problems. Proficient in Rust, Kotlin, Java, Python, R and C/C++, he leverages tooling like Docker, CI/CD, JNI and Gradle to deliver reproducible research and robust prototypes. As a discrete math lecturer and active research contributor, he bridges rigorous theory and classroom instruction, mentoring early-stage students while advancing projects in open-source and academia. Based in Tbilisi, he’s known for translating complex algorithms into production-ready software and for a rare cross-disciplinary fluency across robotics, bioinformatics, and software engineering.
11 years of coding experience
Github Skills (95)
synthesis10
command-line-interface10
set-theory10
kotlin-library10
graph-theory10
combinatorics10
static-analysis10
java-bytecode10
command-line-parser10
bytecode10
symbolic-execution10
cli10
logic10
finite-state-automata10
typst10
Programming languages (10)
Github contributions (5)
Lipen/cadical
Jul 2022 - Jul 2025
CaDiCaL SAT Solver with some infrastructural patches
Contributions:63 pushes, 9 branches in 3 years
polygonssatmarkerssat-solversolver
UnitTestBot/kosat
Jul 2022 - Sep 2023
Pure Kotlin CDCL SAT solver
Contributions:102 reviews, 31 PRs, 85 pushes in 1 year 2 months
kotlinsat-solversatsolver
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.