Я занимаюсь прикладной формализацией рассуждения: строю детерминированные движки решений на дискретных моделях, с воспроизводимостью, валидаторами и регрессией. В свободное время исследую формальные структуры (симметрии, замыкание, конечные операции) и перевожу их в исполнимые прототипы.
