АБВ
АБВ
АБВ

Обычная версия сайта

Кампусы

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

По наградам

Награжденные государственными наградами и почетными званиямиОтмеченные наградами и почетными званиями Правительства, Федерального собрания и федеральных органов исполнительной властиОтмеченные наградами и почетными званиями регионов и муниципальных образованийНагражденные наградами иностранных государствНагражденные почетным знаком ВШЭЛауреаты премии “Золотая Вышка”Награжденные медалями ВШЭОтмеченные почетными грамотами и дипломами университета

Научные интересы

сбросить фильтры

Научные интересы: «тестирование на основе моделей»Подразделения

ФИО и должность

Контакты

27297

Камкин Александр Сергеевич

Доцент: Московский институт электроники и математики им. А.Н. Тихонова / Департамент компьютерной инженерии
Доцент: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

программная инженерия компьютерная инженерия формальные методы верификация программ верификация моделей программ верификация микропроцессоров тестирование на основе моделей статический анализ

+7(495) 912-5317 (ИСП РАН)
27297

Хорошилов Алексей Владимирович

Доцент: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

методы проектирования и разработки ответственных систем формальные методы программной инженерии методы верификации и валидации тестирование на основе моделей методы анализа требований