Антон Стеканов
Антон Стеканов в индустрии больше 15 лет. За это время успел поработать и на Java, и на Scala, и на многих других. Знаком с JavaScript, TypeScript, Python, Go, C#, Groovy, PHP, Haskell и пр.
Работал разработчиком и в небольших компаниях, и в крупных вроде Яндекса или теперь ТБанка. Два года поработал тимлидом. Запускал новые проекты и сервисы и занимался поддержкой существующих. Писал в основном бэкенд, но писал и фронтенд, и cli и gui программы. Занимался понемногу и системной аналитикой, и системным администрированием, и тестированием, и архитектурой.
Интересуется практиками качественного проектирования приложений. Любит писать понятный, поддерживаемый код.
Приверженец функционального программирования и функциональных языков. В свободное от работы время пишет на Common Lisp, Scheme, Clojure и Haskell.
Записал многосерийный воркшоп по формальному доказательству программ на языке Coq (vkvideo).
Ведёт: