at IMDEA Networks
Buffer management; Online algorithms; Software-Defined Networking; Network Function Virtualization; Dependent type theory
Pavel received a BSc degree in applied mathematics and IT from St. Petersburg National Research University of IT, Mechanics and Optics, Computer Technology department. In 2015 he graduated from St. Petersburg National Research Academic University of the Russian Academy of Sciences cum laude with a MSc diploma in applied mathematics and physics. Pavel was for times awarded a special research-supporting scholarship from Yandex for the research on Network Algorithms.
During his study at ITMO University Pavel also was employed as a Software Developer at Transas (St. Petersburg, Russia) in a Computer Graphics department from November 2011 to September 2013. Also, he was a part of a research team at JetBrains (St. Petersburg, Russia), which were developing a new programming language for topology formalization.