English version

Моисеев Михаил Юрьевич

В 1998 г. с отличием окончил факультет технической кибернетики СПбГПУ по направлению "Информатика и вычислительная техника". Получил степень магистра техники и технологии. Тема работы: "Линейные коды с быстрым алгоритмом весового синдромного декодирования".

В 1999 г. поступил в аспирантуру. С 2000 г. работает на кафедре КСПТ в должности старшего преподавателя, с 2011 в должности доцента. С 2000 г. работает в лаборатории DigitekLabs в качестве разработчика, менеджера проектов, ведущего исследователя.

В 2011 г. защитил диссертацию на соискании степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Тема диссертации - "Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа". Автореферат диссертации.

Научные интересы

• Методы оценки и повышения надежности программных систем
• Статический анализ программных систем
• Формальные методы анализа параллельных программ
• Методы верификации программных систем
• Методы анализа надежности структурно-сложных систем
• Автоматизация проектирования программных и аппаратных систем

Учебная деятельность

Ведёт занятия по дисциплинам:

• Формальные методы обеспечения качества ПО
• Теория построения отказоустойчивых систем и устройств
• Проектирование информационных систем
• Модели параллельных вычислений

Темы бакалаврских работ:

1. Разработка средства визуализации трасс выполнения параллельной программы на языке C++/SystemC.
2. Проектирование программно-аппаратной системы на языке SystemC с использованием средств высокоуровнего синтеза (CatapultC, Cadence C-to-S).
3. Исследование и разработка алгоритмов статического анализа многопоточных программ на языках C/C++.

Основные публикации

2012

2011

• M. Moiseev, M. Glukhikh, A. Karpenko, and H. Richter. Software Reliability Estimation Based on Static Error Detection in Proceedings of the 7th CEE Software Engineering Conference in Russia, 2011, сайт конференции SECR2011
• M. Moiseev, A. Zakharov, I. Klotchkov, and S. Salishev. Static Analysis Method for Deadlock Detection in SystemC Designs. In Proceedings of International Symposium on System-on-Chip 2011, сайт конференции SOC2011
• Mikhail Glukhikh, Mikhail Moiseev, and Harald Richter. An Approach to the Reliability Analysis of Automotive Control Systems. In Proceedings of 4th International Conference on Dependability, NetWare 2011, сайт конференции DEPEND2011
  
• M.Moiseev and A. Zakharov. Static Data Race Detection in SystemC Parallel Programs. In Proceedings of 6th International Computer Science Symposium in Russia. The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications. Yaroslavl, 2011. pp. 136-143., сайт конференции CSR2011

2010

• M. Moiseev. Defect detection for multithreaded programs with semaphore-based synchronization. In Proceedings of the 6th CEE Software Engineering Conference in Russia - IEEE, 2010
• Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010

2009

• Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A. Automatic defects detection in industrial C/C++ software. In Proceedings of 5th CEE Software Engineering Conference in Russia, 2009. На сайте конференции: Ицыксон В.М., Моисеев М.Ю., Цесько В.А.,Захаров А.В. Автоматическое обнаружение дефектов в промышленных программных системах на языках С/С++..
• Моисеев М.Ю. Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ Информационные и управляющие системы, 2009. №3.
• Моисеев М.Ю., Карпенко А.В. Расчет метрик надежности программ на основе статического анализа. Научно-технические ведомости СПбГПУ, 2009. №3.
• Ицыксон В. М., Моисеев М. Ю. и др. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ Информационно-управляющие системы, 2009. №2.
• Ицыксон В. М., Моисеев М. Ю. и др. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ Системное программирование, 2009.

2008

• Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование средств автоматизации обнаружения дефектов в исходном коде программ. Научно-технические ведомости СПбГПУ №5. СПб.: Изд-во Политехн. ун-та, 2008, с. 119-127.