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

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

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

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

МГУ имени М.В. Ломоносова Кафедра математической теории интеллектуальных систем (Механико-математический факультет) доцент с 2 ноября 1992 г.

IstinaResearcherID (IRID): 21099259
Scopus Author ID: 8587991500

Область научных интересов

верификация программ, машинное обучение, информационная безопасность, математическая логика, теория автоматов.

Образование

  • 1992 к.ф.-м.н. Морфизмы реакции для автоматов в категориях

Результаты деятельности

Всего: 52 статьи, 1 тезисы доклада, 14 книг, 1 диссертация, 4 НИР, 32 дипломные работы, 134 курсовые работы, 24 учебных курса, 77 преподаваний курсов, 11 докладов на конференциях, 3 членства в программных комитетах, 1 членство в научном обществе.

Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 26

Просмотреть публикации »

Соавторы: Frenkel S.L., Bhavsar V.C., Meystel A., Михеев А.Г., Пятецкий В.Е., Галатенко А.В., Голиков К.А., Дергач П.С., Жук Д.Н., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л., Моисеев С.В., Подколзин А.С.


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