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

Не указана.

Образование

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

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

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

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

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

Соавторы: Хорошилов А.В., Кулямин В.В., 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., TYUKIN I., Wentzl W., Абрамов В.Г., Баева Н.В., Бойцов А.А., Васенин В.А., Вылиток А.А., Герлиц Е.А., Грицай Д.В., Груздева Н.В., Захаров В.Н., Иванов Р.В., КОПАЧ В.В., Корухова Л.С., Корухова Ю.С., Лаврищева Е.В., Лебединский А.И., Леденева Е.В., Леднева Т.М., Лозинский В.И., Машечкин И.В., Нагорнов О.В., Оченашко О.В., Панфёров А.А., Полякова И.Н., Посыпкин М.А., Рогульская Е.Ю., Рудаков К.В., Смелянский Р.Л., Сорокин К.С., Ступников С.А., Сычугов Д.Ю., Ульянов М.В., Цыварев А.В., Чепцов В.Ю., Чупилко М.М., Шишкин Н.В., Шишкина Ю.В., ЩЕПЕТКОВ И.В.