ПОМИ РАН, ИТМО
Младший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель магистратуры JetBrains в ИТМО.
