Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Даниил Дмитриевич Рогозин

ИППИ РАН, Serokell

Аспирант ИППИ РАН, область научных интересов: алгебраическая логика (цилиндрические алгебры и алгебры бинарных отношений), семантические аспекты модальной логики.

Участвую в разработке компилятора языка Haskell (GHC) в компании Serokell.

Прочтения курсов

Курс Семестр
Семантические аспекты интуиционистской логики осень 2021
Введение в модальную логику осень 2019

Фотографии

Даниил Дмитриевич Рогозин