МГУ, Serokell
Аспирант МГУ им. Ломоносова, область научных интересов: модальная логика, некоммутативная линейная логика (исчисление Ламбека), теория дуальности, модальности в субструктурных логиках и их алгебраическая семантика.
Разработчик на языках Haskell и Agda в Serokell OÜ в области технологий, связанных с блокчейном.
| Курс | Семестр |
|---|---|
| Введение в модальную логику | осень 2019 |
