Projects

Duckiebot Autonomous Driving Stack

Maria Fadeeva, Artem Grigorash, Egor Lomakin, Ivan Voevodskiy

Generating Astronomy Olympiad Problems

Svyatoslav Suglobov

IWLS 2025 Competition on Boolean Circuit Synthesis

Stanislav Alekseev, Timur Degteari, Gregory Emdin, Mikhail Goncharov, Ilia Kondakov, Fedor Kurmazov, Maksim Levitskii, Georgii Levsov, Maksim Shevkoplias, Roman Shumilov

Jahnke—Emde Style Plots

Stanislav Alekseev

Manifold Learning: Geometric Structure Recovery Methods for Evolutionary Space Research

Bogdan Iashchenko, Petr Popov

Problem Café: STEM Problem Searcher

Ilya Kondakov, Maxim Levitskiy, Svyatoslav Suglobov, Artem Ivanov

RAID Operations on GPU with OpenCL

Stepan Maliarovskii

Tic-tac-toe with Robot Arm

Mikhail Malugin

Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture

Nikolai Chukhin