Hello, I'm Islomjon.

I'm a software engineer with five years of experience building data-intensive systems. For the past year I have been studying machine learning seriously, with the goal of moving into research.

Currently:

  • Software engineer at Navian, building data pipelines and analytics
  • Studying machine learning with public code and results
  • Preparing to apply for a PhD in computer science

Research & Learning

Research & Learning

Self-directed projects I use to build a foundation for machine learning research. All code and results are public, and the results tables only contain numbers from runs I actually made.

imbalanced-benchmarks

Imbalanced Classification Benchmarks

Comparison of cost-sensitive weighting, SMOTE and random undersampling against untreated baselines on three medical datasets, using 5-fold stratified cross-validation scored with PR-AUC instead of accuracy.

Committed result: balancing methods mostly improved recall rather than ranking, and made little difference when imbalance was mild.

scikit-learn imbalanced-learn cross-validation
vision-baselines

Vision Baselines

Reproducible PyTorch training harness for CIFAR-10 with LeNet and a CIFAR-stem ResNet-18: deterministic seeding, cosine learning-rate schedule, per-epoch metrics logged to CSV.

LeNet reaches 80.25% test accuracy in 30 epochs; the ResNet-18 run is in progress.

PyTorch CIFAR-10 reproducibility
semantic-image-search

Semantic Image Search

Text-to-image search over local photo collections using pretrained CLIP embeddings, with an incremental embedding index and a command-line interface for natural-language queries.

Working retrieval tool; index updates without re-embedding unchanged images.

PyTorch CLIP embeddings
software-foundations

Software Foundations

Worked exercises from Software Foundations Volume 1 in the Coq proof assistant: functional programming and proofs by induction, checked by the proof checker.

Ongoing; Basics chapter complete.

Coq formal proofs

Selected Work

Professional Work

Products and platforms I have built as a software engineer.

Screenshot of Navian Platform Navian Platform Full-stack engineer Real estate analytics platform with market intelligence reports, subscription billing, and investment tools for the Swedish market. TypeScript Node.js React PostgreSQL Python Screenshot of OceanDrive OceanDrive Full-stack engineer Decentralized storage platform for peer-to-peer file distribution across networked nodes. React Next.js Node.js PostgreSQL Screenshot of World Art DEXPO World Art DEXPO Frontend engineer Digital art marketplace built with React and NestJS, with wallet-based authentication and on-chain asset ownership. React NestJS Web3
View All Projects

What I Work On

What I Work On

Engineering is my profession; machine learning is where I am heading. The two overlap more than they sound.

Software Engineering

Five years building production systems: data pipelines, APIs, and analytics platforms used daily by real customers.

Python TypeScript Node.js React PostgreSQL

Machine Learning (self-study)

Working through the fundamentals in public: classical models, evaluation methodology, and PyTorch training, with code and results on GitHub.

PyTorch scikit-learn imbalanced-learn CLIP

CS & Math Foundations

A physics and mathematics background, kept active: probability and statistics, linear algebra, and mechanized proofs in Coq.

Probability & Statistics Linear Algebra Coq

Writing

Writing

Notes on things I have built and debugged in production.

MirzoDev

© 2026 Islomjon Mirzakbarov

Email GitHub