Ментор Андрей Михайлович Миронов — доцент мехмата МГУ
Контакты amironov66@gmail.com +7-(916)-462−20−36
Проект Разработка системы проектирования высоконадежных программных систем, верификация распределенных алгоритмов, телекоммуникационных протоколов, криптографических протоколов и смарт-контрактов, прогнозирование временных рядов.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Книга подготовлена при поддержке Междисциплинарной научно-образовательной школы Московского университета «Мозг, когнитивные системы, искусственный интеллект".
Область знаний: Математические науки
Область знаний: Искусственный интеллект
Формат работы: Очно
Формат работы: Дистанционно
Статус ментора: Научный сотрудник
Организация: МГУ
Минимальный курс: 1
Профили ментора в научных сетях
Профили ментора в научных сетях
Профиль дает возможность узнать больше о научных интересах ментора и его публикациях.