Сотрудники

Кафедра информатики
Заведующий кафедрой, Доцент
Тел.: 291-22-96
email: askuznetsov@sfu-kras.ru
Ученое звание ВАК: Доцент
Ученая степень: Кандидат технических наук
Образование
  • 1995г. Красноярский государственный технический университет, Системы автоматизированного проектирования, Инженер-системотехник
Диссертации
  • Кандидат технических наук (канд. техн. наук) 2009г.
    Тема: Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем
Основные преподаваемые дисциплины
  • Системное программирование
  • Основы функционального программирования
  • Формальная верификация моделей программного обеспечения
  • Теория и разработка языков программирования
  • Командный проект по разработке программного обеспечения
  • Анализ и оптимизация программного кода
  • Качество программного обеспечения
Общий стаж работы: 23 года
Стаж работы по специальности: 23 года
Сведения о повышении квалификации и(или) профессиональной переподготовке
  • 2017г.  ФГАОУ ВО «СФУ» Программа Разработка электронных курсов в системе LMS Moodle (дистанционно) с 20.02.2017 по 28.04.2017 Сертификат
  • 2017г. ФГАОУ ВО «СФУ» Программа Реализация образовательных программ с применением электронного обучения и дистанционных образовательных технологий 01.06.2017 Удостоверение о повышении квалификации 242405751775 Рег. номер 26-1/17-Э386
  • 2016г. ФГАОУ ВО «СФУ» Программа Управлениесамостоятельной работой студентов на базе электронного курса в LMS Moodle 30.11.2016 Удостоверение о повышении квалификации 242404798352 Рег. номер 26-1/16-Б1307
  • 2014г. Разработка электронных курсов в системе LMS Moodle – Сибирский федеральный университет сертификат
  • 2013г. Применение концепции CDIO в инженерном образовании – Томский политехнический университет
Научные направления
  • Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации
  • Языки программирования и системы программирования, семантика программ
  • Оценка качества, стандартизация и сопровождение программных систем
  • Профессиональное образование через всю жизнь
Список значимых публикаций
  • 2018г. Индексирована ScopusA new approach to multi-version decision-making to improve the reliability of environmental monitoring parameters / M V Saramud, I V Kovalev, V V Losev, A S Kuznetsov, D I Kovalev1 and S S Ognerubov // IOP Conf. Series: Materials Science and Engineering 450 (2018) 062001 doi:10.1088/1757-899X/450/6/062001.
  • 2018г. Индексирована ScopusMeasurement accuracy of real time parameters in environmental monitoring [Electronic resource] / Saramud M.V., Kovalev I.V., Kovalev D.I., Voroshilova A.A. and Kuztensov A.S. // IOP Conf. Series: Materials Science and Engineering 450 (2018) 062012. Режим доступа doi: 10.1088/1757-899X/450/6/062012.
  • 2016г. Публикация ВАКЯкимов И.А., Кузнецов А.С. ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ // Современные наукоемкие технологии. – 2016. – № 2-1. – С. 50-54
  • 2015г. Публикация ВАКГрузенкин Д.В., Царев Р.Ю., Кузнецов А.С. МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ // Фундаментальные исследования. – 2015. – № 12-5. – С. 886-890
  • 2014г. Личаргин, Д.В. Активные методы обучения в рамках инициативы CDIO по направлению «Программная инженерия» / Д.В.Личаргин, А.С.Кузнецов, Р.Ю.Царев // Современные проблемы науки и образования.
  • 2014г. Личаргин, Д.В. Модель описания учебного процесса при реализации инициативы CDIO / Д.В.Личаргин, А.С.Кузнецов, Р.Ю.Царев // Современные проблемы науки и образования. – 2014.
  • 2009г. Кузнецов, А.С. Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [Текст] / А.С. Кузнецов // Вестник Сиб. гос. аэрокосмич. ун-та. – 2009. – Вып. 3 (24). – С. 62-66.
  • 2008г. Капчинский, И.А. Принципы формирования мультиверсионного программного комплекса [Текст] / И.А. Капчинский, А.С. Кузнецов, А.В. Штенцель // Вестник Сиб. гос. аэрокосмич. ун-та. – 2008. – Вып. 1 (18). – С. 18 23.
  • 2008г. Кузнецов, А.С. Генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем [Текст] / А.С. Кузнецов, И.В. Ковалев // Международный журнал «Программные продукты и системы». – 2008. – Вып. 4 (84). – С. 101 103.
  • 2008г. Кузнецов, А.С. Разработка мультиверсионных программ с использованием мультисинтаксических языков и технологий [Текст] / А.С.Кузнецов // Вестник НИИ СУВПТ: Сб. науч. трудов. Красноярск: НИИ СУВПТ, 2008. – № 26. – С. 25 42.
  • 2007г. Кузнецов, А.С. Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [Текст] / А.С. Кузнецов, И.В. Ковалев, Е.А. Веретенников // Вестник Сиб. гос. аэрокосмич. ун-та. – 2007. – Вып. 3 (16). – С. 73 75.
Список учебных пособий, монографий
  • 2013г. Кузнецов, А.С. Практикум по разработке компиляторов: лаб. практикум для студентов напр. 231000.68 «Программная инженерия» / Сиб. федерал. ун-т ; сост. А.С. Кузнецов. - Красноярск : СФУ, 2013. - 75 с.
  • 2013г. Кузнецов, А.С. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем: монография / А.С.Кузнецов, С.В.Ченцов, Р.Ю.Царев. – Красноярск: Сиб.федер.ун-т, 2013. – 143 с.
  • 2012г. Кузнецов, А.С. Информационные сети и телекоммуникации [Электронный ресурс] : лаб. практикум [для студентов напр. и спец. 220201.65, 220301.65, напр. 220200.62] / Сиб. федерал. ун-т ; сост. А. С. Кузнецов. - Электрон. текстовые дан. (PDF, 502 Кб). - Красноярск : СФУ, 2012. - 84 c.
  • 2012г. Кузнецов, А.С. Теория языков программирования и методы трансляции [Электронный ресурс] : лаб. практикум [для студентов спец. 230105] / Сиб. федерал. ун-т ; сост. А. С. Кузнецов. - Электрон. текстовые дан. (PDF, 798 Кб). - Красноярск : СФУ, 2012. - 91 c.
  • 2011г. Ковалев, И.В. Операционные системы. Системное программное обеспечение [Текст] : лаб. практикум : учеб. пособие для вузов / И.В. Ковалев, А.С. Кузнецов, Р.Ю. Царев. - Красноярск : СФУ, 2011. - 127 с.
  • 2008г. Кузнецов, А.С. Теория вычислительных процессов. Учеб.пособие / А.С. Кузнецов, М.А. Русаков, Р.Ю. Царев. – Красноярск: ИПК СФУ, 2008. – 184 с.
  • 2006г. Ващенко, Г.В. Мировые информационные ресурсы [Текст] : метод. указ. к выполнению практических и лаб. работ / Г.В. Ващенко, А.С. Кузнецов. - Красноярск : ИПЦ КГТУ, 2006. - 63 с.
  • 2005г. Антипина, С. В. Объектно-ориентированное программирование [Текст] : метод. указ. / С.В. Антипина, А.С. Кузнецов. - Усть-Илимск : УИФ КГТУ, 2005. - 88 с.
  • 2005г. Ващенко, Г.В. Мировые информационные ресурсы. Учеб. пособие / Г.В. Ващенко, А.С. Кузнецов. – Красноярск: ИПЦ КГТУ, 2005. – 168 с.
  • 2005г. Ковалев, И.В. Операционные системы и системное программное обеспечение. Учеб. пособие / И.В. Ковалев, А.С. Кузнецов. – Красноярск: ИПЦ КГТУ, 2005. – 302 с.
Список авторских свидетельств и патентов
  • 2007г. Кузнецов, А.С. Программа автоматизированной разработки трансляторов MuYacc v1.0. / А.С. Кузнецов, Е.А.Веретенников // Номер гос. регистрации 50200702091 от 27.09.2007 г. – М. : ВНТИЦ, 2007
Список полученных грантов
  • 2018г. Краевой фонд науки совместно с РФФИ (2018-2019) Тема: «Мультиверсионный метод повышения информационной надежности производственно-экологического мониторинга тепловых электростанций». Соглашение № 228 22.12.2015 с Правительством Красноярского края. Договор № 18-48-240007\18 с Российским фондом фундаментальных исследований, Ответственный исполнитель
    Грантодатель: РФФИ

Текущая неделя - вторая. Расписание занятий

Яндекс.Метрика