Сергей Бронников
@estet
Пользователь
- Значки
- Захабренный
- О себе
- I make software suck less.
Веду канал о тестировании ПО — t.me/sqaunderhood
Русскоязычный Telegram-чат, посвящённый вопросам формальной верификации ПО (проверка моделей c TLA+, SPIN, Alloy, дедуктивная верификация c Coq, Agda, Isabelle etc) — t.me/practical_fm
- Состоит в хабах
- Пригласил на сайт
- Подписан на компании
НПП ИТЭЛМАКомпоненты для роботизированного транспорта
TypeableFunctional programming, High assurance, Consulting
