Матковский Иван Васильевич

Образование

Образование

• 2009г. Сибирский федеральный университет, Институт космических и информационных технологий, Информатика и вычислительная техника, Магистр техники и технологии

Повышение квалификации

• 2018г. ФГАО ВО Тюменский государственный университет Программ Сопровождение студентов с инвалидностью и ограниченными возможностями в инклюзивной образовательной среде вуза с 13.03.2018 по 11.04.2018 72 часа Удостоверение о повышении квалификации 722400004501 Рег. номер 29-02304
• 2017г. ФГАОУ ВО «СФУ» Программа Совершенствование электронного курса в системе LMS Moodle (менторинг) с 20.10.2017 по 10.11.2017 36 часов Сертификат Рег номер 26-1/17-Э602
• 2017г. ФГАОУ ВО «СФУ» Программа Реализация образовательных программ с применением электронного обучения и дистанционных образовательных технологий 05.09.2017 88 часов Удостоверение о повышении квалификации 242405237971 Рег. номер 26-1/17-Э514
• 2016г. ФГАОУ ВО «СФУ» Программа Разработка электронных курсов в системе LMS Moodle (дистанционно) с 03.10.2016 по 16.12.2016 36 часов Сертификат Рег номер 26-1/16-Э656
• 2016г. Национальный исследовательский Томский Государственный Унивеситет Модели и технологии интегрированного обучения с 15.11.2016 по 30.11.2016 36 часов Удостоверение 70080007503 Рег. номер 29.214-14-16
• 2015г. ФГАОУ ВО «СФУ» Сервис Mind для преподавателя с 09.11.2015 по 27.11.2015 16 часов Сертификат Рег номер 26-1/15-Э929
• 2015г. ФГАОУ ВО «СФУ» Программа «Развитие личностных компетенций в инженерном образовании CDIO» с 16.02.2015 по 26.06.2015 72 часа Удостоверение 242402703150 Рег. номер 26-1/15-Б070

Достижения

Секретарь кафедральной секции конференции “Проспект Свободный” 2015-2019

Публикации

Список значимых публикаций

• Легалов А.И., Непомнящий О.В., Кропачева М.С., Матковский И.В. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах / Журнал “Моделирование и анализ информационных систем”, №4 – 2012 г – с.48-58.
• Матковский И.В., Легалов А.И. Инструментальная поддержка трансляции и выполнения функционально-потоковых параллельных программ. / Ползуновский вестник, № 2. - 2013. Стр. 49-52.
• Легалов А. И., Матковский И. В., Анкудинов А. В. Особенности хранения функционально-потоковых параллельных программ. - Вестник Сибирского государственного аэрокосмического университета. Вып. 4 (50). - 2013. - С. 53-57.
• Legalov A. I., Nepomnyaschy O. V., Matkovsky I. V., Kropacheva M. S. Tail Recursion Transformation in Functional Dataflow Parallel Programs. / Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 366–372. ISSN 0146-4116. © Allerton Press, Inc., 2013.
• Васильев В.С., Рыженко И.Н., Матковский И.В. Оптимизация параллельных списков функционально-потокового языка программирования «Пифагор» // Системы. Методы. Технологии. 2014. №3(23). С. 102-108.
• Матковский И.В Легалов А.И., Васильев В.С., Ушакова М.С Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ // Труды Института системного программирования РАН. Том 29, выпуск 5, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
• Alexander I. Legalov, Vladimir S. Vasilyev, Ivan V. Matkovskii, Mariya S. Ushakova A Toolkit for the Development of Data-Driven Functional Parallel Programmes // arallel Computational Technologies: 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers (Communications ... Computer and Information Science Book 910)
• А.И. Легалов, И.А. Легалов, И.В. Матковский Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке // Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2018. — 528 с. — ISSN 2618-9542 — ISBN 978-5-98354-046-0. — doi:10.20948/abrau-2018. — URL: http://keldysh.ru/abrau/2018/proc.pdf
• А.И. Легалов, И.А. Легалов, И.В. Матковский  Особенности семантики статически типизированного языка функционально- потокового параллельного программирования // Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2019. — 668 с. doi:10.20948/abrau-2019 URL: http://keldysh.ru/abrau/2019/proc.pdf
• Легалов А.И., Матковский И.В., Ушакова М.С., Романова Д.С. Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных. Моделирование и анализ информационных систем. 2020;27(2):164-179. https://doi.org/10.18255/1818-1015-2020-2-164-179

Дисциплины

Основные преподаваемые дисциплины

• Алгоритмы и структуры данных
• Программное обеспечение мобильных систем
• Технология и методы программирования
• Трансляторы

РИД

Список авторских свидетельств и патентов

1. Свидетельство о государственной регистрации программы для ЭВМ №2011615829. Транслятор с функционально-потокового языка параллельного программирования [Текст]: заявка №2011613975 от 31.05.2011/ Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 27.07.2011г. (РФ)
2. Свидетельство о государственной регистрации программы для ЭВМ №2011615830. Генератор управляющего графа функционально-потоковых параллельных программ [Текст]: заявка №2011613976 от 31.05.2011/ Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 27.07.2011г. (РФ)
3. Свидетельство о государственной регистрации программы для ЭВМ №2011615832. Интерпретатор функционально-потоковых параллельных программ [Текст]: заявка №2011613978 от 31.05.2011/ Легалов А.И., Непомнящий О.В., Редькин А.В., Хабаров В.А, Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 27.07.2011г. (РФ)
4. Свидетельство о государственной регистрации программы для ЭВМ №2013611434. Синтаксический анализатор текстового представления реверсивного информационного графа [Текст]: заявка №2012660357 от 26.11.2012/ Легалов А.И., Непомнящий О.В., Кропачева М.С., Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 09.01.2013г. (РФ)
5. Свидетельство о государственной регистрации программы для ЭВМ №2013611617. Модуль формирования графического представления реверсивного информационного графа [Текст]: заявка №2012660517 от 03.12.2012/ Легалов А.И., Непомнящий О.В., Васильев В.С., Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 29.01.2013г. (РФ)
6. Свидетельство о государственной регистрации программы для ЭВМ №2013611618 Модуль формирования реверсивного информационного графа [Текст]: заявка №2012660518 от 03.12.2012/ Легалов А.И., Непомнящий О.В., Сиротинина Н.Ю., Матковский И.В. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 29.01.2013г. (РФ)
7. Свидетельство о государственной регистрации программы для ЭВМ №2018666239 Программа для интерпретации функционально-потокового языка параллельного программирования [Текст]: заявка №2018663794 от 03.12.2018/ Матковский И.В., Легалов А.И., Васильев В.С., Непомнящий О.В.(РФ) – Зарегистрировано в Реестре программ для ЭВМ 13.12.2018г. (РФ)
8. Свидетельство о государственной регистрации программы для ЭВМ №2018666240 Программа для формирования управляющего графа для функционально-потокового языка параллельного программирования [Текст]: заявка №2018663792 от 03.12.2018/ Матковский И.В., Легалов А.И., Васильев В.С., Непомнящий О.В.(РФ) – Зарегистрировано в Реестре программ для ЭВМ 13.12.2018г. (РФ)
9. Свидетельство о государственной регистрации программы для ЭВМ №2018666434 Программа для оптимизации функционально-потокового языка параллельного программирования [Текст]: заявка №2018663789 от 17.12.2018/ Васильев В.С., Легалов А.И., Матковский И.В., Непомнящий О.В.(РФ) – Зарегистрировано в Реестре программ для ЭВМ 13.12.2018г. (РФ)
10. Свидетельство о государственной регистрации программы для ЭВМ №2018666577 Программа для трансляции функционально-потокового языка параллельного программирования [Текст]: заявка №2018663780 от 03.12.2018/ Матковский И.В., Легалов А.И., Васильев В.С., Постников А.И. (РФ) – Зарегистрировано в Реестре программ для ЭВМ 18.12.2018г. (РФ)
11. Программа формирования баз вариантов заданий на автоматизированное проектирование дешифратора для семисегментного индекатора [Текст]: заявка №2019616177  от 13.05.2019/  Матковский И.В., Постников А.И., Буриченко М.С., Середкин В.Г. (РФ) – Зарегистрировано в Реестре программ для ЭВМ  20.05.2019. (РФ)
12. Программный транслятор статически типизированного функционально-потокового языка параллельного программирования[Текст]: №2020612428   от 14.02.2020/  Матковский И.В., Легалов А.И., Легалов И.А (РФ) – Зарегистрировано в Реестре программ для ЭВМ 21.02.2020г. (РФ)
13. Программный интерпретатор функционально-потокового языка параллельного программирования[Текст]: №2020612517 от 14.02.2020/  Матковский И.В., Легалов А.И.(РФ) – Зарегистрировано в Реестре программ для ЭВМ 25.02.2020г. (РФ)

Гранты

• № 14.578.21.0021 «Разработка многофункционального бортового комплекса управления для малых космических аппаратов с использованием радиационно-стойкой элементной базы Российского производства класса "система на кристалле"» 2014-2016 г.г.
• 02.G25.31.0202 «Создание высокотехнологичного производства современной угломерной спутниковой навигационной аппаратуры на основе российской элементной базы класса "система на кристалле». 2016-2017 г.
• № 20686 Разработка и отладка программно-аппаратного имитатора БКУ КА 14Ф152/14Ф151 2017-2020 г.г.
• № 20697 Разработка имитатора БКУ КА 14Ф160 2018-2019 г.г.
• 573545-EPP-1-2016-1-DE-EPPKA2-CBHE-JP. Erasmus+ Project «Applied curricula in space exploration and intelligent robotic systems (Прикладные образовательные программы в области космических исследований и интеллектуальных робототехнических систем) / APPLE», European Education, Audiovisual and Culture Executive Agency, 2016-2019 г.г,