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

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

МГУ, Serokell

Аспирант МГУ им. Ломоносова, область научных интересов: модальная логика, некоммутативная линейная логика (исчисление Ламбека), теория дуальности, модальности в субструктурных логиках и их алгебраическая семантика.

Разработчик на языках Haskell и Agda в Serokell OÜ в области технологий, связанных с блокчейном.

Course offerings

Course Semester
Введение в модальную логику autumn 2019

Photos