Сергей Синчук

Биография

В 2010 году окончил кафедру высшей алгебры математико-механического факультета СПбГУ, там же защитил кандидатскую диссертацию в 2013-м. Помимо JetBrains, работает в лаборатории им. П. Л. Чебышева в СПбГУ. Занимается проектом группы HoTT с весны 2012 года.

Научные интересы: теория алгебраических групп, K-теория, топология, теория типов.

Научное руководство

Антон Миленин, «Написание и верификация алгоритма операционального преобразования со свойством C1 для древовидной структуры». Работа защищена на кафедре информатики СПбГУ в июне 2014 года.

Публикации

  • Sergey Sinchuk
    Journal of Pure and Applied Algebra Volume 220, Issue 2, Февраль 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
    Январь 2013
  • S. Sinchuk
    Improved Stability for odd-dimensional orthogonal group, J. Math. Sci. 199, 3 (2013), 343-349
    Январь 2013
  • Группа HoTT и зависимых типов Старший исследователь
    • Разработка языков с зависимыми типами
    • Разработка алгоритмов и доказательство теорем с применением зависимых типов