Логика Хоара — поиск смысла в программных конструкциях Мастер-классы
Доклад принят в программу конференции
Тезисы
В результате мастер-класса слушатели будут уметь объяснять с точки зрения математики разные свойства языков программирования, чтобы писать адаптивный и верифицируемый код.
Евгений Тюменцев
Директор компании по разработке программного обеспечения.
В прошлом занимался профессионально разработкой многопоточных кросс-платформенных приложений на С++. Код, написанный 14 лет назад, до сих пор работает в составе IBM Watson.
Преподаватель курсов OTUS:
* Архитектура и шаблоны проектирования;
* Супер-интенсив по паттернам проектирования;
* Разработчик C++.
Другие доклады секции Мастер-классы
Svelte 101
Павел Малышев
Mustlab
Мастер-класс: Проблемы внедрения Observability для разработчиков
Елена Граховац
GetYourGuide (Берлин)
Безопасность WEB
Иван Юшкевич
Hacktory
CLI в Node.js
Александр Коржиков
Dev IT Engineer ING Group (Нидерланды)
Делаем идеальный питч для стартапа
Александр Горный
United Investors
Источники сопротивления изменениям
Александр Зиза
Aletheia Digital
Ситуационное руководство — модели, ошибки, практики
Александр Зиза
Aletheia Digital
Инструменты декомпозирования, планирования и приёмки задач, которые идеально подходят для удалённой работы, но останутся эффективными и после возвращения в офис
Алексей Ягур
YouDo
Менеджмент серверов с помощью Forge и непрерывный деплой с помощью Envoyer
Егор Герасимчук
DotsPlatform
Lean, Agile и трансформация культуры
Александр Зиза
Aletheia Digital
Архитектурные ошибки в разработке фреймворка автоматизации тестирования
Семён Вяземский
QA Automation Lead в Beeline