Sergey Sinchuk

Sergey Sinchuk


Research Groups

Biography

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 SPbU.

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

Publications

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Read more