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

Не указана.

Образование

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

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

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

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

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

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