Антон Стеканов

Антон Стеканов в индустрии больше 15 лет. За это время успел поработать и на Java, и на Scala, и на других языках: JavaScript, TypeScript, Python, Go, C#, Groovy, PHP, Haskell…

Был разработчиком и в небольших компаниях, и в крупных, вроде Яндекса и ТБанка. Работал тимлидом. Запускал новые проекты и сервисы, занимался поддержкой существующих. Писал в основном бэкенд, однако, сталкивался и с фронтендом, cli и gui. Занимался понемногу и системной аналитикой, и системным администрированием, и тестированием, и архитектурой.

Интересуется практиками качественного проектирования приложений. Любит писать понятный, поддерживаемый код.

Приверженец функционального программирования и функциональных языков. В свободное от работы время пишет на Common Lisp, Scheme, Clojure и Haskell.

Записал многосерийный воркшоп по формальному доказательству программ на языке Coq (vkvideo).

Ведёт: