Most of my projects and collaborations are available on GitHub, though lately I've been gradually moving to Sourcehut.

I've been lucky to work on a few ambitious projects over the years:

ZKWASM - Zero-knowledge prover for WebAssembly @ NEAR

This is my active project (acting as a tech-lead) where we aim to build a backend for Cranelift compiler for ZK-friendly assembly language Polygon zkASM. This would allow taking an arbitrary WebAssembly program and generating a short proof that can convince anyone about its execution results.

XManager - ML experiment platform @ DeepMind

I've been on the founding team of now de facto standard tool to run ML experiments at Google and DeepMind. I've contributed to all major subsystems with particular focus on the Python API to define and launch experiments and on the C++ backend and scheduler to reliably run experiments in the cloud.

YTsaurus - Big data processing system @ Yandex

I've been developing the MapReduce scheduler that needed to support massive clusters with 100k compute cores and 1000s of users and support flexible hierarchical resource allocation. It's been really fun to explore and optimize different algorithms and formally prove their fairness guarantees and I even wrote an academic paper about it with my collague and scientific advisor Ignat!

Gamedev

I quite enjoy game development as I feel it challenges my programming skills in novel ways and it is a fun way to reconnect with my friends. Here is the list of our entries to various game jams:

Side-projects

Some older projects that I enjoyed working on:

  • GAIL - C++ library for implementing AI agents for playing board games
  • FAML - Implementation of machine learning algorithms in fast, out-of-core fashion in C++
  • Oberon0 - Interpreter for Oberon programming language (very similar to Pascal) written in C++, and using Flex and Bison libraries for code generation