Рустам Азимов

Биография

Окончил математико-механический факультет СПбГУ в 2016 году, получив диплом бакалавра по системному программированию.

В настоящее время Рустам учится на первом курсе магистерской программы.

Профессиональная деятельность

  • Синтаксический анализ графов
  • Функциональное программирование
  • Вычисления на GPU

Проекты

Публикации

  • R. Azimov and S. Grigorev

    Path querying with conjunctive grammars is known to be undecidable. There is an algorithm for path querying with linear conjunctive grammars which provides an over-approximation of the result, but there is no algorithm for arbitrary conjunctive grammars. We propose the first algorithm for path querying with arbitrary conjunctive grammars. The proposed algorithm is matrix-based and allows us to efficiently apply GPGPU computing techniques and other optimizations for matrix operations.

    Programming and Computer Software, Декабрь 2019
  • Rustam Azimov, Semyon Grigorev
    GRADES-NDA '18 Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Июнь 2018
  • Rustam Azimov, Semyon Grigorev
    arXiv, Июль 2017