EnglishEnglish version

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

Фото Моисеева Михаила
к.т.н., доцент
ул. Политехническая, 21, к. 306
Санкт-Петербург
Тел. : 297-22-38
mail : mmickle at mail.ru

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

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

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

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

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

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

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

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

  1. Развитие и усовершенствование средства статического анализа многопоточных программ Aegis C/C++. Это задание включает разработку модулей на языке Java, проведение экспериментов, анализ получаемых результатов. Разработка ведется под ОС Linux. Требуются хорошие навыки программирования на Java, базовые знания языков C, C++ и библиотеки Pthreads.
  2. Развитие и усовершенствование средства обнаружения ошибок синхронизации в моделях программно-аппаратных систем на языке SystemC. Это задание включает разработку модулей на языке Java, написание тестов, проведение экспериментов. Разработка ведется под ОС Linux. Требуются хорошие навыки программирования на Java и C++.
  3. Оценка эффективности современных средств верификации на основе методов проверки моделей (model checking). Верификация одного или нескольких реальных систем с использованием средства SPIN. Требуются хорошие навыки программирования на языке C.

Темы магистерских работ

  1. Разработка прототипа транслятора модели на языке SystemC в описание на языке Verilog.
  2. Исследование и разработка алгоритмов извлечения описания системы на языке PROMELA из модели на языке SystemC.
  3. Исследование и реализация алгоритмов статического анализа многопоточных программ на языке C.
  4. Уточнение и реализация алгоритмов оценки надежности программ на языках C/C++ на основе статического анализа.
  5. Исследование и разработка алгоритмов слайсинга для снижения ресурсоемкости анализа моделей на языке SystemC.

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

2013

  • SERENE2013 M. Moiseev. Static analysis approach for defect detection in multithreaded C/C++ programs in Proceedings of 5th International Workshop SERENE 2013 – Springer, LNCS Vol. 8166
  • DSD2013 M. Moiseev, M. Glukhikh and S. Salishev. A static analysis approach for verification of synchronization correctness of SystemC designs in Proceedings of 16th Euromicro conference on Digital System Design – IEEE, 2013. – pp. 89-96.
  • DESSERT2013 M. Moiseev, M. Glukhikh and H. Richter. A Static Analysis Approach for Formal Verification of Systemc Designs in Radio-Electronic and Computer Systems Journal - Ukraine, KhAI, 2013
  • DDECS2013 M. Moiseev, M. Glukhikh, A. Zakharov and H. Richter. A Static Analysis Approach to Data Race Detection in SystemC Designs in Proceedings of the 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems - IEEE, 2013

2012

2011

  • SECR2011 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
  • ISSOC2011 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
  • DEPEND2011 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
  • CSR2011 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

  • SECR2010 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

2008

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