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

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

МГУ, Serokell

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

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

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

Курс Семестр
Введение в модальную логику осень 2019

Фотографии