линейная логика, теория типов, гомотопическая теория типов, функциональное программирование, формальная верификация, дизайн языков программирования.