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

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


Исследовательские группы

Биография

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

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

Публикации

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Подробнее