Rustam Azimov
Biography
Graduated in 2016 from the SaintPetersburg State University, Mathematics & Mechanics Faculty, Software Engineering Department with a bachelor's degree.
Currently, Rustam is a master’s student at SPbU, Mathematics & Mechanics Faculty.
Professional Activity
 Graph parsing
 Functional programming
 GPGPU
Projects

Modular tool for parser construction and grammars processingProject supervisor: Semyon Grigorev

Space for contextfree path querying algorithms research and development.Project supervisor: Semyon Grigorev
Publications

Programming and Computer Software, December 2019
Path querying with conjunctive grammars is known to be undecidable. There is an algorithm for path querying with linear conjunctive grammars which provides an overapproximation 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 matrixbased and allows us to efficiently apply GPGPU computing techniques and other optimizations for matrix operations.
 GRADESNDA '18 Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), June 2018
 arXiv, July 2017

Programming Languages and Tools Lab Researcher
 Formal Languages and Syntax Analysis