Senior/Middle Research Engineer

На данный момент DBMS Platform Developer.

Мои компетенции и опыт

Меня зовут Георгий. Я математик и разработчик. Когда нужно --- я занимаюсь продуктовой разработкой и пишу на том, на чем нужно. Веду исследования в области СУБД, SMT-решателей, теории формальных языков. Учусь на 4 курсе в СПбГУ, бакалавариат, на математика и разработчика.

Сейчас я работаю в команде разработки платформы и СУБД Tarantool. Занимаюсь кластерной конфигурацией, сервисом автоматического фейловера, пулом соединений на Lua, C, C++. Product owner и единственный разработчик расширения VS Code на Typescript на для разработки хранимых процедур СУБД. В рамках работы над расширением доработал open-source language server для Lua на Rust. Так же разработал инструмент для переезда на новый движок документации и конвертации из старого формата Sphinx в Markdown с использованием Pandoc. Выступал на meetup database internals, где рассказывал о сервисе автоматического failover, для организации отказоустойчивой системы в 2 DC. Для автоматизации тестирования данного сервиса разработал fuzzer на Go. Раскапывал различные нетривиальные проблемы, возникшие при DR тестировании.

Сейчас разрабатываю SMT-решатель для state-of-the-art алгоритма фрагмента нелинейной арифметики на OCaml в рамках гранта РНФ. Придумал и реализовал алгоритм на C для обработки больших графовых данных при помощи линейной алгебры на разреженных матрицах. В сентябре 2025 приглашен выступать на workshop при конференции VLDB 2025 с докладом про данный алгоритм. Разработка подразумевала обработку и визуализацию большого массива данных с использованием Python, инструментов и библиотек: Jupyter Notebook, Matplotlib, Pandas, NumPy, SciPy. Сейчас работаю над новым алгоритмом обработки графов, использующим рекурсивную нейронную сеть на tensorflow в качестве оракула.

Раньше работал над фронтендером для системы моделирования на Vue, Typescript. Делал MVP десктопной системы моделирования на C++ с использованием GTK. Вносил исправления в алгоритмы математического моделирования на C++.

Еще, я помогаю с преподаванием (и, совсем иногда, веду семинары) в СПбГУ. Проверял домашние задания по дискретной математике, математической логике, программированию.

Детали, даты и остальное подробно описано в моем CV.