Кузнецов Александр Сергеевич | Структура и сотрудники СФУ

Кузнецов Александр Сергеевич

Основное Публикации, достижения
Кузнецов Александр Сергеевич
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 года

Публикации

  1. КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПО ОБНАРУЖЕНИЮ ПОТЕНЦИАЛЬНО ОПАСНЫХ ОБЪЕКТОВ В ВИДЕОПОТОКЕ С ИНТРОСКОПА : научное издание [статья из журнала]
    Михалев А. С., Меньшенин А. Н., Кузнецов А. С., Кулаков Е. Д.
    2024, Современные наукоемкие технологии
  2. Engineering-Oriented Approach for Effective Industrial and Educational Communications in the Development of New Master's Programs [доклад, тезисы доклада, статья из сборника материалов конференций]
    Piskorskaya S. Yu., Kovalev I. V., Voroshilova A. A., Antamoshkin O. A., Kuznetsov A. S.
    2022, AIP Conference Proceedings
  3. Обзор V Международного научного семинара по компьютерному моделированию, информационным и вычислительным технологиям - MIP: Computing-V 2022 : научное издание [статья из журнала]
    Ковалев Игорь Владимирович, Кузнецов Александр Сергеевич, Ворошилова Анна Анатольевна
    2022, Современные инновации, системы и технологии
  4. Обзор III Международного семинара MIP: Computing-2021: Компьютерное моделирование, информационные и вычислительные технологии : научное издание [статья из журнала]
    Ворошилова А. А., Кузнецов А. С.
    2021, Современные инновации, системы и технологии
  5. Planning development automation of oil fields [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kulakov E. D., Mikhalev A. S., Kuznetsov A. S., Sarenkov A. V., Shutalev A. D., Gorokhov A. P., Fedoreev A. E.
    2021, AIP Conference Proceedings
  6. C++ для разработки веб-серверов : научное издание [статья из журнала]
    Гарбарт Артем Игоревич, Кузнецов Александр Сергеевич
    2021, Вопросы устойчивого развития общества
  7. Оценка меры различия алгоритмов в многовариантной системе составления производственных планов : научное издание [статья из журнала]
    Грузенкин Денис Владимирович, Кузнецов Александр Сергеевич, Селезнев Игорь Валерьевич
    2020, Научный вестник Новосибирского государственного технического университета
  8. Software package for the implementation of bioinspired algorithms for the design of fault-tolerant control systems [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V., Saramud M. V., Kuznetsov A. S., Kovalev D. I., Kuznetsov A. S., Koltashev A. A.
    2020, Journal of Physics: Conference Series
  9. Bio-inspired information technology for multi-version design of highly reliable software systems [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V., Kovalev D. I., Testoyedov N. A., Voroshilova A. A., Kuznetsov A. S., Koltashev A. A.
    2020, IOP Conference Series: Materials Science and Engineering
  10. Analysis of RTOS for hardware and software support of environmental monitoring technologies [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V, Kovalev D. I, Kuznetsov A. S.
    2020, IOP Conference Series: Earth and Environmental Science
Показать все публикации
  1. Assessment of planning methods at job-order manufacturing facilities : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kuznetsov A. S., Noskova E. E.
    2020, IOP Conference Series: Materials Science and Engineering
  2. Combined efficiency margin in the implementation of the DEA method [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V., Kuznetsov A. S., Zenutkin N. V., Morozov E. A., Zeitler A. V.
    2020, IOP Conference Series: Materials Science and Engineering
  3. GERT-network optimization model for technologies of hazardous industry management [доклад, тезисы доклада, статья из сборника материалов конференций]
    Baranov V. V., Bliznevsky A. S., Kaftasyev D. A., Tynchenko Ya. A., Kuznetsov A. S.
    2020, IOP Conference Series: Materials Science and Engineering
  4. Statistical model checking for blockchain-based applications [доклад, тезисы доклада, статья из сборника материалов конференций]
    Maksimov D. B., Yakimov I. A., Kuznetsov A. S.
    2020, IOP Conference Series: Materials Science and Engineering
  5. Compiler-compiler of multi syntax programming languages for creating N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Pupkov A. N., Laleye F. A. A.
    2019, Journal of Physics: Conference Series
  6. Enhanced pushdown automaton for recognizing multi-syntax programming languages [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Zhigalov K. Y., Oguntade Adebanji
    2019, Journal of Physics: Conference Series
  7. Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
    Gruzenkin D. V., Yakimov I. A., Kuznetsov A. S., Tsarev R. Yu., Grishina G. V., Pupkov A. N., Bystrova N. V.
    2019, Journal of Physics: Conference Series
  8. Algorithm source codes generation for ensuring N-version software diversity [доклад, тезисы доклада, статья из сборника материалов конференций]
    Gruzenkin D. V., Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Pupkov A. N., Yee Rock L.
    2019, Journal of Physics: Conference Series
  9. On the problem of monitoring a technological process based on multipoint spatial measurement of parameters : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V., Kovalev D. I., Losev V. V., Saramud M. V., Karaseva M. V., Kuznetsov A. S.
    2019, IOP Conference Series: Earth and Environmental Science
  10. On the problem of monitoring a technological process based on multipoint spatial measurement of parameters [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kovalev I. V., Losev V. V., Saramud M. V., Kovalev D. I., Karaseva M. V., Kuznetsov A. S.
    2019, IOP Conference Series: Earth and Environmental Science
  11. OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION : научное издание [статья из журнала]
    Yakimov I. A., Kuznetsov A. S., Skripachev A. M.
    2019, Сибирский журнал науки и технологий
  12. A new approach to multi-version decision-making to improve the reliability of environmental monitoring parameters [статья из журнала]
    Saramud M. V., Kovalev I. V., Losev V. V., Kuznetsov A. S., Kovalev D. I., Ognerubov S. S.
    2018, IOP Conference Series: Materials Science and Engineering
  13. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения : научное издание [статья из журнала]
    Якимов И. А., Кузнецов А. С.
    2017, Труды Института системного программирования РАН
  14. ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ : научное издание [статья из журнала]
    Грузенкин Д. В., Якимов И. А., Кузнецов А. С., Царев Р. Ю.
    2017, Фундаментальные исследования
  15. Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание [статья из журнала]
    Якимов И. А., Кузнецов А. С.
    2016, Труды Института системного программирования РАН
  16. ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание [статья из журнала]
    Якимов И. А., Кузнецов А. С.
    2016, Международный журнал прикладных и фундаментальных исследований
  17. Поиск клонов кода, основанный на векторной модели семантики : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Бабкина Алина Александровна, Кузнецов А. С., Кукарцев В. В.
    2016, Современные научные исследования и разработки 2016
  18. ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]
    Якимов И. А., Кузнецов А. С.
    2016, Современные наукоемкие технологии
  19. МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ [статья из журнала]
    Грузенкин Д. В., Царев Р. Ю., Кузнецов А. С.
    2015, Фундаментальные исследования
  20. АКТИВНЫЕ МЕТОДЫ ОБУЧЕНИЯ В РАМКАХ ИНИЦИАТИВЫ CDIO ПО НАПРАВЛЕНИЮ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ» [статья из журнала]
    Личаргин Д. В., Кузнецов А. С., Царев Р. Ю.
    2014, Современные проблемы науки и образования
  21. МОДЕЛЬ ОПИСАНИЯ УЧЕБНОГО ПРОЦЕССА ПРИ РЕАЛИЗАЦИИ ИНИЦИАТИВЫ CDIO [статья из журнала]
    Личаргин Д. В., Кузнецов А. С., Царев Р. Ю.
    2014, Современные проблемы науки и образования
  22. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : монография [монография]
    Кузнецов Александр Сергеевич, Ченцов Сергей Васильевич, Царев Роман Юрьевич
    2013
  23. Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук [автореферат диссертации]
    Кузнецов Александр Сергеевич
    2009
  24. Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : диссертация на соискание ученой степени кандидата технических наук [диссертация]
    Кузнецов Александр Сергеевич
    2009
  25. Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]
    Кузнецов Александр Сергеевич
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  26. генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем : научное издание [статья из журнала]
    Ковалев И. В., Кузнецов А. С.
    2008, Программные продукты и системы
  27. Принципы формирования мультиверсионного программного комплекса [статья из журнала]
    Капчинский Илья Аркадьевич, Кузнецов Александр Сергеевич, Штенцель Артем Владимирович
    2008, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  28. Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [статья из журнала]
    Ковалев Игорь Владимирович, Кузнецов Александр Сергеевич, Веретенников Евгений Александрович
    2007, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  29. Операционные системы и системное программное обеспечение : учеб. пособие [учебное пособие]
    Ковалев И. В., Кузнецов А. С.
    2005

Гранты

  • Мультиверсионный метод повышения информационной надежности производственно-экологического мониторинга тепловых электростанций
    Краевой фонд науки совместно с РФФИ , 2018-2019 гг., № 18-48-240007\18

Список публикаций выше сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Версия для слабовидящих

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.