City: Saint Petersburg Novosibirsk Kazan Language: Русский English

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

ИППИ РАН, Serokell

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

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

Course Offerings

Course Semester
Semantic Aspects of Intuitionistic Logic autumn 2021
Introduction to Model Theory autumn 2019

Photos

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