Sergey Sinchuk


Graduated in 2010 from the St. Petersburg State University, Mathematics and Mechanics Faculty, Algebra Department. Defended his Ph.D. thesis in 2013. Joined the HoTT Group project in spring 2012. Apart from JetBrains, also works at Chebyshev Laboratory at SPbSU.

Sergey's research interests include algebraic groups, K-theory, and type theory.

Academic Advising

Developing and verifying an operational transformation algorithm with C1-property for tree-like structure by Anton Milenin. Defended at the Department of Informatics, SPbSU in 2014.


  • Sergey Sinchuk
    Journal of Pure and Applied Algebra Volume 220, Issue 2, February 2016
  • Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov
    Interactive Theorem Proving (ITP), 2016
  • S. Sinchuk
    Injective stability for unitary K1, revisited, J. K-theory, 11 (2013), 233-242
    January 2013
  • S. Sinchuk
    Improved Stability for odd-dimensional orthogonal group, J. Math. Sci. 199, 3 (2013), 343-349
    January 2013