ИППИ РАН, Serokell
Аспирант ИППИ РАН, область научных интересов: алгебраическая логика (цилиндрические алгебры и алгебры бинарных отношений), семантические аспекты модальной логики.
Участвую в разработке компилятора языка Haskell (GHC) в компании Serokell.
Курс | Семестр |
---|---|
Введение в модальную логику | осень 2019 |