![](https://www.lektorium.tv/sites/lektorium.tv/files/styles/lector_and_university_220x170/public/speakers/rogozin.png?itok=W8p_4eJE)
Даниил Рогозин
Аспирант МГУ им. Ломоносова, область научных интересов: модальная логика, некоммутативная линейная логика (исчисление Ламбека), теория дуальности, модальности в субструктурных логиках и их алгебраическая семантика.
Разработчик на языках Haskell и Agda в Serokell OÜ в области технологий, связанных с блокчейном.