On Sept. 1, Sergei joined CVP as a PhD student. Sergei finished his bachelor degree at the Southern Federal University, Rostov-on-Don, Russia. During his final year, Sergei worked as a Haskell programmer. For his thesis, Sergei worked on the formalization of term-rewriting systems in Arend.