e-mail: askuznetsov [at] sfu-kras [dot] ru
телефон: +7 (391) 291-22-96
адрес: ул. Киренского, 26, к. 1, ауд. 3-19
Google Scholar: scholar.google.ru/citations
анкета на другом сайте: ikit.sfu-kras.ru/e/44
степень: кандидат технических наук
звание: доцент
Место работы
- Кафедра программной инженерии, доцент, заведующий.
Образование
- Красноярский государственный технический университет, системы автоматизированного проектировани, 1995 г.
Преподаваемые дисциплины
- Основы функционального программирования;
- Системное программирование;
- Формальная верификация моделей программного обеспечения;
- Теория и разработка языков программирования;
- Командный проект по разработке программного обеспечения;
- Анализ и оптимизация программного кода;
- Качество программного обеспечения.
Повышение квалификации
- «Язык SQL в среде СУБД PostgreSQL. Базовый курс», СибГУ им. М.Ф.Решетнева (г.Красноярск), 72 часа, удостоверение о повышении квалификации от 20.05.2019.
- «Реализация образовательных программ с применением электронного обучения и дистанционных образовательных технологий», СФУ (г.Красноярск), 92 часа, удостоверение о повышении квалификации от 01.06.2017.
- «Реализация образовательных программ с применением электронного обучения и дистанционных образовательных технологий», СФУ (г.Красноярск), 92 часа, удостоверение о повышении квалификации от 01.06.2017.
- «Управление самостоятельной работой студентов на базе электронного курса в LMS Moodle», СФУ (г.Красноярск), 24 часа, удостоверение о повышении квалификации от 30.11.2016.
- «Сервис Mind для преподавателя», СФУ (г.Красноярск),16 часов, сертификат от 27.11.2015.
Стаж работы
- общий — 22 года
- по специальности — 22 года
Публикации
- КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПО ОБНАРУЖЕНИЮ ПОТЕНЦИАЛЬНО ОПАСНЫХ ОБЪЕКТОВ В ВИДЕОПОТОКЕ С ИНТРОСКОПА : научное издание [статья из журнала]2024, Современные наукоемкие технологии
- Engineering-Oriented Approach for Effective Industrial and Educational Communications in the Development of New Master's Programs [доклад, тезисы доклада, статья из сборника материалов конференций]2022, AIP Conference Proceedings
- Обзор V Международного научного семинара по компьютерному моделированию, информационным и вычислительным технологиям - MIP: Computing-V 2022 : научное издание [статья из журнала]2022, Современные инновации, системы и технологии
- Обзор III Международного семинара MIP: Computing-2021: Компьютерное моделирование, информационные и вычислительные технологии : научное издание [статья из журнала]2021, Современные инновации, системы и технологии
- Planning development automation of oil fields [доклад, тезисы доклада, статья из сборника материалов конференций]2021, AIP Conference Proceedings
- C++ для разработки веб-серверов : научное издание [статья из журнала]2021, Вопросы устойчивого развития общества
- Оценка меры различия алгоритмов в многовариантной системе составления производственных планов : научное издание [статья из журнала]2020, Научный вестник Новосибирского государственного технического университета
- Software package for the implementation of bioinspired algorithms for the design of fault-tolerant control systems [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Journal of Physics: Conference Series
- Bio-inspired information technology for multi-version design of highly reliable software systems [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineering
- Analysis of RTOS for hardware and software support of environmental monitoring technologies [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Earth and Environmental Science
Показать все публикации
- Assessment of planning methods at job-order manufacturing facilities : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineering
- Combined efficiency margin in the implementation of the DEA method [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineering
- GERT-network optimization model for technologies of hazardous industry management [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineering
- Statistical model checking for blockchain-based applications [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineering
- Compiler-compiler of multi syntax programming languages for creating N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Series
- Enhanced pushdown automaton for recognizing multi-syntax programming languages [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Series
- Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Series
- Algorithm source codes generation for ensuring N-version software diversity [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Series
- On the problem of monitoring a technological process based on multipoint spatial measurement of parameters : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2019, IOP Conference Series: Earth and Environmental Science
- On the problem of monitoring a technological process based on multipoint spatial measurement of parameters [доклад, тезисы доклада, статья из сборника материалов конференций]2019, IOP Conference Series: Earth and Environmental Science
- OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION : научное издание [статья из журнала]2019, Сибирский журнал науки и технологий
- A new approach to multi-version decision-making to improve the reliability of environmental monitoring parameters [статья из журнала]2018, IOP Conference Series: Materials Science and Engineering
- Поиск недостающих вызовов библиотечных функций с использованием машинного обучения : научное издание [статья из журнала]2017, Труды Института системного программирования РАН
- ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ : научное издание [статья из журнала]2017, Фундаментальные исследования
- Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание [статья из журнала]2016, Труды Института системного программирования РАН
- ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание [статья из журнала]2016, Международный журнал прикладных и фундаментальных исследований
- Поиск клонов кода, основанный на векторной модели семантики : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Современные научные исследования и разработки 2016
- ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]2016, Современные наукоемкие технологии
- МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ [статья из журнала]2015, Фундаментальные исследования
- АКТИВНЫЕ МЕТОДЫ ОБУЧЕНИЯ В РАМКАХ ИНИЦИАТИВЫ CDIO ПО НАПРАВЛЕНИЮ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ» [статья из журнала]2014, Современные проблемы науки и образования
- МОДЕЛЬ ОПИСАНИЯ УЧЕБНОГО ПРОЦЕССА ПРИ РЕАЛИЗАЦИИ ИНИЦИАТИВЫ CDIO [статья из журнала]2014, Современные проблемы науки и образования
- Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : монография [монография]2013
- Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук [автореферат диссертации]2009
- Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : диссертация на соискание ученой степени кандидата технических наук [диссертация]2009
- Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
- генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем : научное издание [статья из журнала]2008, Программные продукты и системы
- Принципы формирования мультиверсионного программного комплекса [статья из журнала]2008, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
- Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [статья из журнала]2007, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
- Операционные системы и системное программное обеспечение : учеб. пособие [учебное пособие]2005
Гранты
- Мультиверсионный метод повышения информационной надежности производственно-экологического мониторинга тепловых электростанций
Краевой фонд науки совместно с РФФИ , 2018-2019 гг., № 18-48-240007\18
Список публикаций выше сформирован в автоматическом режиме. Сообщите, если заметили неточности.