Евтушенко Нина Владимировна
- Профессор:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начала работать в НИУ ВШЭ в 2017 году.
- Научно-педагогический стаж: 49 лет.
Образование, учёные степени и учёные звания
- 1994Ученое звание: Профессор
- 1991Доктор технических наук
- 1971
Специалитет: Томский государственный университет им. В.В. Куйбышева, специальность «Физика и электроника», квалификация «Физик-радиоэлектроник»
Достижения и поощрения
- Благодарность Факультета компьютерных наук НИУ ВШЭ (сентябрь 2020)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2023-2024)
Учебные курсы (2023/2024 уч. год)
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
Публикации35
- Статья Tvardovskii A., Nina Yevtushenko. Deriving homing sequences for Finite State Machines with timeouts // Computer Journal. 2022. Article bxac069. doi
- Статья Bresolin D., El-Fakih K., Villa T., Nina Yevtushenko. Equivalence checking and intersection of deterministic timed finite state machines // Formal Methods in System Design. 2022 doi
- Статья Tu K., Wang H., Jiang J. R., Kushik N., Evtushenko N. V. Homing Sequence Derivation with Quantified Boolean Satisfiability // IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711. doi
- Книга Evtushenko N. V., Kolomeez A., Shirokova E., Gromov M. 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) Checking Robustness of Web Services based on Solving Automata Equations. IEEE, 2021. doi
- Статья Yevtushenko N., Kuliamin V., Kushik N. Evaluating the complexity of deriving adaptive S′-homing and S′-synchronizing sequences for nondeterministic FSMs // Software Quality Journal. 2021 doi
- Книга Evtushenko N. V., Burdonov I., Kossachev A., Kushik N., Zeghlache D. Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021) Preventive Model-based Verification and Repairing for SDN Requests. EC: SCITEPRESS – Science and Technology Publications, 2021. doi
- Статья Tvardovskii A. S., N. V. Yevtushenko. On reduced forms of initialized Finite State Machines with timeouts // Proceedings of the Institute for System Programming of the RAS. 2020. Vol. 32. No. 2. P. 125-134. doi
- Глава книги Shirokova E., Евтушенко Л. Г., Laputenko A., Nina Yevtushenko. Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences, in: Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna : IEEE, 2020. P. 159-163. doi
- Препринт Burdonov I., Kossachev A., Nina Yevtushenko, L´opez J., Kushik N., Zeghlache D. Preventive Model-based Verification and Repairing for SDN Requests / Cornell University. Series Computer Science "arxiv.org". 2020.
- Глава книги Широкова Е., Евтушенко Л. Г., Лапутенко А., Евтушенко Н. В. Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений. // В кн.: 2020 Новые информационные технологии в исследовании сложных структур (ICAM 2020). Томск : Издательский Дом Томского государственного университета, 2020. С. 142-142.
- Глава книги Vinarskii E., Tvardovskii A., Larisa Evtushenko, Nina Yevtushenko. Deriving Adaptive Homing Sequences for Weakly Initialized Nondeterministic FSMs, in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019). IEEE Computer Society, 2019. P. 461-465. doi
- Статья Yenigün H., Nina Yevtushenko, Cavalli A. R. Guest Editorial: Special issue on Testing Softwareand Systems // Software Quality Journal. 2019. Vol. 27. No. 2. P. 497-499. doi
- Статья Твардовский А. С., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций. // Труды Института системного программирования РАН. 2019. Т. 31. № 4. С. 175-188. doi
- Статья El-Fakih K., Nina Yevtushenko, Kushik N. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation // Formal Aspects of Computing. 2018. Vol. 30. No. 2. P. 319-332. doi
- Глава книги Bresolin D., Tvardovskii A., Nina Yevtushenko, Villa T., Gromov M. Minimizing Deterministic Timed Finite State Machines, in: IFAC-PapersOnLine (T.V.51.Вып 7). Elsevier, 2018. doi P. 486-492. doi
- Статья El-Fakih K., Barlas G., Ali M., Nina Yevtushenko. Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines // International Journal of Parallel, Emergent and Distributed Systems. 2018. Vol. 33. No. 2. P. 197-210. doi
- Статья López J., Kushik N., Nina Yevtushenko. Source code optimization using equivalent mutants. // Information and Software Technology. 2018. Vol. 103. P. 138-141. doi
- Статья Yenigün H., N.Yevtushenko, Kushik N., López J. The effect of partiality and adaptivity on the complexity of FSM state identification problem // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 7-24. doi
- Глава книги Berriri A., López J., Kushik N., Nina Yevtushenko, Zeghlache D. Towards Model based Testing for Software Defined Networks, in: In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE. SciTePress, 2018. doi P. 440-446. doi
- Статья Твардовский А., Евтушенко Н. В. К построению подавтоматов без слияний для недетерминированных конечных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 85-85.
- Статья Tvardovskii A., Евтушенко Н. В. К синтезу адаптивных различающих последовательностей для конечных автоматов // Труды Института системного программирования РАН. 2018. Т. 30. № 4. С. 139-154. doi
- Книга Евтушенко Н. В., Кушик Н. Г. Некоторые задачи идентификации состояний для недетерминированных автоматов. Томск : Томск СТТ, 2018.
- Статья Бурдонов И., Евтушенко Н. В., Косачев А., Шнитман В. О синхронной композиции детерминированных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 70-71.
- Статья Tvardovskii A., El-Fakih K., Gromov M., Nina Yevtushenko. Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. / Пер. с рус. // Automatic Control and Computer Sciences. 2017. Vol. 51. No. 7. P. 724-730. doi
- Статья Yenigün H., Nina Yevtushenko, Kushik N. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. // Information Processing Letters. 2017. Vol. 127. P. 49-53. doi
- Статья Кушик Н. Г., Евтушенко Н. В., Бурдонов И. Б., Косачев А. С. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 6. С. 730-742. doi
- Статья Твардовский A., Евтушенко Н. В., Громов М. Минимизация автоматов с таймаутами и временными ограничениями // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 139-154. doi
- Статья Лапутенко А. В., Лопез Х. Е., Евтушенко Н. В. Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей // Известия высших учебных заведений. Физика. 2017. Т. 60. № 11. С. 146-151.
- Статья Твардовский А. С., Эль-Факи К., Громов М. Л., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 496-507. doi
- Статья Kushik N., El-Fakih K., N. Yevtushenko, Cavalli A. R. On adaptive experiments for nondeterministic finite state machines // International Journal on Software Tools for Technology Transfer. 2016. Vol. 18. No. 3. P. 251-264. doi
- Статья Евтушенко Н. В., Ермаков А. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 123-144. doi
Опыт работы
1977-1991 - Сибирский физико-технический институт, снс, зав. лаб.
1991 - 2017 - Томский государственный университет, профессор, зав. каф., зав. лаб.
1917 - наст. время - Институт системного программирования им. В.П. Иванникова РАН, гл. н.с.
Информация*
- Общий стаж: 44 года
- Научно-педагогический стаж: 49 лет
- Преподавательский стаж: 24 года
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки
Выпуск 2020. Часть II
В 2020 году Факультет компьютерных наук выпускает 233 бакалавра и 154 магистра в области анализа данных и машинного обучения, хранения и обработки больших данных, биоинформатики, программной инженерии и системного программирования. 18 красных дипломов получили выпускники бакалавриата и 36 – магистратуры. Более того, в этом году ФКН закончили 9 лауреатов стипендии им. Ильи Сегаловича и 3 лауреата научной премии им. Ильи Сегаловича в номинации “Молодые исследователи” и 4 первых лауреата стипендии ИСП РАН. Выпускники ФКН 2020 вспомнили о самых ярких моментах обучения на факультете, рассказали про сложности, с которыми сталкивались, и поделились своими планами на будущее.
ФКН заключил соглашение об обмене студентами с Национальным университетом Тайваня
Студенты факультета смогут провести семестр обучения в колледже электротехники и компьютерных наук Национального университета Тайваня.