Projects

AiChecker

Artem Grigorash, Nikita Magomedeminov, Dmitrii Kondratev

CyprusBusTracker. Real-Time Bus Tracking for Cyprus

Anton Kogun, Sergei Gordeev, Galalu Anton

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

LMS Improvements

Artem Abaturov, Sofia Petrenko

Manifold Learning: Geometric Structure Recovery Methods for Evolutionary Space Research

Bogdan Iashchenko, Petr Popov

Nexus. A web application for organizing students' academic life: schedule, tasks, chats, and performance analytics

Svyatoslav Lesnikov, Saveli Kavaleu

Problem Café: STEM Problem Searcher

Ilya Kondakov, Maxim Levitskiy, Svyatoslav Suglobov, Artem Ivanov

RAID Operations on GPU with OpenCL

Stepan Maliarovskii

SportStats: Football Analytics

Daniel Emeka-Ilozor, Assylkhan Balmukhanov

TeamChem: AI-Powered Team Builder

Aleksei Gurianov, Ilya Mikhaylov

Tic-tac-toe with Robot Arm

Mikhail Malugin

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

Nikolai Chukhin