Создать обращение в службу поддержки пользователей
Обращение успешно создано! Ему присвоен номер 0.
На адрес Вашей электронной почты отправлено письмо о регистрации обращения. Вы можете ответить на него, если хотите предоставить дополнительную информацию или прикрепить файлы.
Произошла ошибка при создании обращения. Попробуйте перезагрузить страницу и заново создать обращение.

Подтверждение выхода

Вы действительно хотите завершить сессию?
ИСТИНА ИСТИНА
Войти в систему
Регистрация
  • Область интересов
  • Публикации
  • НИР и НИОКР
  • Доклады
  • Учебная работа
  • Инновации
  • Прочее
  • Все результаты
Удаление сотрудника
Вы действительно хотите удалить сотрудника?
Удалить
khoroshilov
Хорошилов Алексей Владимирович khoroshilov

кандидат физико-математических наук с 2006 года

МГУ имени М.В. Ломоносова Кафедра системного программирования (Факультет вычислительной математики и кибернетики) доцент с 1 сентября 2009 г., по совместительству

IstinaResearcherID (IRID): 11492876
ORCID: 0000-0002-6512-4632
ResearcherID: B-7780-2012
Scopus Author ID: 54881742400
Руководство дипломными работами Авторство учебных курсов
–

Руководство дипломными работами

    • 2018 Повышение полноты верификации многопоточного программного обеспечения с помощью инструментирования точек создания потоков
    • Научный руководитель: Хорошилов Алексей Владимирович
    • Автор: Колосков Андрей Анатольевич (Магистр)

Авторство учебных курсов

    • 2016 Формальные методы разработки программ
    • Авторы: Петренко Александр Константинович, Корныхин Евгений Валерьевич, Буздалов Денис Викторович, Хорошилов Алексей Викторович, Кузьменкова Евгения Анатольевна
    • 2008 Формальная спецификация и верификация программ
    • Авторы: Кузьменкова Е.А., Петренко А.К., Хорошилов А.В.

ИСТИНА ЦЭМИ РАН
© 2011-2025 Лаборатория 404. НИИ механики МГУ.
Правила пользования
Помощь
Создать обращение Обратная связь