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

e-mail: askuznetsov [at] sfu-kras [dot] ru
телефон: +7 (391) 291-22-96
анкета на другом сайте: 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. Compiler-compiler of multi syntax programming languages for creating N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
    2019, Journal of Physics: Conference Series
  2. Enhanced pushdown automaton for recognizing multi-syntax programming languages [доклад, тезисы доклада, статья из сборника материалов конференций]
    2019, Journal of Physics: Conference Series
  3. Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
    2019, Journal of Physics: Conference Series
  4. Algorithm source codes generation for ensuring N-version software diversity [доклад, тезисы доклада, статья из сборника материалов конференций]
    2019, Journal of Physics: Conference Series
  5. 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
  6. OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION [статья из журнала]
    Yakimov I. A., Kuznetsov A. S., Skripachev A. M.
    2019, Сибирский журнал науки и технологий
  7. 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
  8. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения [статья из журнала]
    2017, Труды Института системного программирования РАН
  9. ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ [статья из журнала]
    2017, Фундаментальные исследования
  10. Оптимизация читаемости тестов порождаемых при символьных вычислениях [статья из журнала]
    2016, Труды Института системного программирования РАН
Показать все публикации
  1. ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) [статья из журнала]
    2016, Международный журнал прикладных и фундаментальных исследований
  2. Поиск клонов кода, основанный на векторной модели семантики [доклад, тезисы доклада, статья из сборника материалов конференций]
    Бабкина Алина Александровна, Кузнецов А. С., Кукарцев В. В.
    2016, Современные научные исследования и разработки 2016
  3. ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]
    2016, Современные наукоемкие технологии
  4. МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ [статья из журнала]
    2015, Фундаментальные исследования
  5. АКТИВНЫЕ МЕТОДЫ ОБУЧЕНИЯ В РАМКАХ ИНИЦИАТИВЫ CDIO ПО НАПРАВЛЕНИЮ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ» [статья из журнала]
    2014, Современные проблемы науки и образования
  6. МОДЕЛЬ ОПИСАНИЯ УЧЕБНОГО ПРОЦЕССА ПРИ РЕАЛИЗАЦИИ ИНИЦИАТИВЫ CDIO [статья из журнала]
    2014, Современные проблемы науки и образования
  7. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем [монография]
    2013
  8. Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем [автореферат диссертации]
    2009
  9. Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем [диссертация]
    2009
  10. Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  11. генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]
    2008, Программные продукты и системы
  12. Принципы формирования мультиверсионного программного комплекса [статья из журнала]
    Капчинский Илья Аркадьевич, Кузнецов Александр Сергеевич, Штенцель Артем Владимирович
    2008, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  13. Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [статья из журнала]
    Ковалев Игорь Владимирович, Кузнецов Александр Сергеевич, Веретенников Евгений Александрович
    2007, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  14. Операционные системы и системное программное обеспечение [учебное пособие]
    2005

Гранты

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

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

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