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

Биография

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

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

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

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

Публикации

  • Группа HoTT и зависимых типов Старший исследователь
    • Разработка языков с зависимыми типами
    • Разработка алгоритмов и доказательство теорем с применением зависимых типов