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

Не указана.

Образование

  • 2003 д.ф.-м.н. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
  • 1983 к.ф.-м.н.

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

Всего: 42 статьи, 2 тезисов докладов, 6 книг, 1 диссертация, 2 НИР, 3 руководства диссертациями, 3 учебных курса, 5 докладов на конференциях, 2 членства в редколлегиях журналов, 1 членство в редколлегии сборника, 2 членства в программных комитетах, 1 членство в диссертационном совете, 2 оценивания диссертаций.

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

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

Соавторы: Хорошилов А.В., Кулямин В.В., Shchepetkov I.V., Девянин П.Н., Корныхин Е.В., Mutilin V.S., Мандрыкин М.У., Буздалов Д.В., Камкин А.С., Косачев А.С., Иванников В.П., Кузьменкова Е.А., Позин Б.А., Ефремов Д.В., Лаврищева Е.М., Лаврищева Е.М., Batovrin V.K., Juris B., Schepetkov I., Schlingloff H., Starykh V.A., Stolyarov G.K., Wentzl W., Бурдонов И.Б., Васенин В.А., Герлиц Е.А., Грицай Д.В., ЕФРЕМОВ Д.В., Захаров В.Н., Зеленов С.В. Иванов Р.В. КОПАЧ В.В. Лаврищева Е.В. Лебединский А.И. Лозинский В.И. Оченашко О.В. Панфёров А.А. Посыпкин М.А. Рогульская Е.Ю. Ступников С.А. Цыварев А.В. Чупилко М.М. ЩЕПЕТКОВ И.В.