Сергей Старолетов

Научное руководство

  • Методы формальной верификации исходя из моделей (Model checking)
  • Тестирование на основе моделей
  • Разработка через тестирование
  • Разработка через написание поведенческих спецификаций
  • Инженерия требований
  • Системное программирование
  • Поиск аномалий в данных
  • Работа с данными автомобилей

Публикации