EnglishEnglish version

Глухих Михаил Игоревич

Фото Родился 3 июня 1978 года в Ленинграде. В 1995 году закончил лицей «Физико-техническая школа», в 2001 году – с отличием – Санкт-Петербургский государственный политехнический университет по специальности «ЭВМ, комплексы, системы и сети». В 2001-2004 годах проходил обучение в аспирантуре по специальности 05.13.15 – «Вычислительные машины и системы». В 2007 году защитил кандидатскую диссертацию на тему «Разработка методов синтеза информационно-управляющих систем специального назначения со структурным резервированием».

В 1999-2000 году работал в центре компьютерных разработок «Кодекс», в 2001-2002 году – в научно-исследовательском институте электрофизической аппаратуры (НИИЭФА). С 2002 по 2012 год – сотрудник лаборатории программно-аппаратных разработок кафедры компьютерных систем и программных технологий (в то время - автоматики и вычислительной техники). С 2004 по 2007 год – старший преподаватель кафедры компьютерных систем и программных технологий, с 2007 года – доцент. В 2013 году находился в технологическом университете Клаусталя, Германия в качестве приглашенного исследователя. В 2014 году работал в петербургском офисе корпорации Intel, с марта 2015 является одним из разработчиков языка Котлин в компании JetBrains.

Основной автор обучающего проекта KotlinAsFirst и связанного с ним учебного курса. Один из авторов системы автоматического обнаружения дефектов Digitek Aegis и средства анализа надежности Digitek Reliability Analyzer. В настоящее время основные области научных интересов включают методы анализа, верификации, рефакторинга и оценки надежности программного кода. К более ранним интересам относятся методы проектирования и анализа отказоустойчивых систем и создание высокопроизводительных комплексов цифровой обработки сигналов.

В настоящее время читает лекции и ведет практические занятия по дисциплинам:

В прежние годы вёл также занятия по дисциплинам:

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

Автор 39 публикаций, из них 1 книга, 2 учебных пособия, 12 научных статей, 24 тезисов конференций. Наиболее значительные из них:

  • Пышкин Е.В., Глухих М.И. Модульное тестирование программного обеспечения. Профессиональный базовый курс с практикой на JUnit. – СПб.: Профессиональная литература, АйТи-подготовка, 2015.- 240 с.: ил.
  • Richter H., Obeid A., Glukhikh M., Moiseev M. Layer 1 and 2 of a Ring-based, Real-Time Network for In-vehicle Communication // the 6th International Congress on Ultra Modern Communications and Control Systems (ICUMT 2014).
  • Glukhikh M., Moiseev M., Salishev S. A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs // 2013 16th EUROMICRO Conference on Digital System Design. – pp. 89-96.
  • Glukhikh M., Vert T., Krikun T. Detection of Incorrect Pointer Dereferences for C/C++ Programs using Static Code Analysis and Logical Inference // Tools and Methods of Program Analysis, 2013.
  • Glukhikh M, Moiseev M, Richter H. A Static Analysis Approach For Formal Verification of SystemC Designs. // Radioelectronic and computer systems, ISSN 1814-4245, #5, 2013, pp. 227-232.
  • Moiseev M., Glukhikh M., Zakharov A., Richter H. A Static Analysis Approach to Data Race Detection in SystemC Designs // Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, April 8-10, 2013, Karlovy Vary, Czech Republic. – pp. 54-59.
  • E. Pyshkin, M. Mozgovoy, and M. Glukhikh. On requirements for acceptance testing automation tools in behavior driven software development In Proceedings of the CEE-SECR 2012, Nov. 1-2, Moscow, Russia, 2012, сайт конференции SECR2012
  • Glukhikh M., Itsykson V., Tsesko V. Using Dependencies to Improve Precision of Code Analysis // Automatic Control and Computer Sciences, Vol. 46, No. 7, 2012. - pp. 338-344.
  • Глухих М.И., Моисеев М.Ю., Егоров И.В., Крикун Т.С. Автоматизация анализа надёжности невосстанавливаемых информационно-управляющих систем // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2012. №2(145) – С. 81-90.
  • 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
  • Глухих М.И., Ицыксон В.М., Цесько В.А. Использование зависимостей для повышения точности статического анализа программ // Моделирование и анализ информационных систем. №4, 2011. Т. 18. - Ярославль: Изд-во Яросл. ун-та. - С. 68-79.
  • Glukhikh M., Moiseev M., Richter H. An Approach for the Reliability Analysis of Automotive Control Systems // DEPEND 2011: The Fourth International Conference on Dependability. – IARIA, 2011. – pp. 51-56. – ISBN 978-1-61208-149-6.
  • Программная инженерия. Обеспечения качества программных средств методами статического анализа : учеб. пособие / Глухих М.И., Ицыксон В.М. // СПб.: Изд-во Политехн. ун-та, 2011. – 150 с.
  • Ицыксон В.М., Глухих М.И. Язык спецификаций поведения программных компонентов // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2010. №3 (101). – С. 63-70.
  • Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С. Исследование средств построения моделей исходного кода программ на языках C и C++ // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №1 (72), 2009. – СПб.: СПбГПУ. – С. 122-130.
  • Ридигер В.К., Филиппов А.С., Глухих М.И., Мелехин В.Ф. Технология проектирования высоконадежной вычислительной системы // CHIP NEWS. – 2006. #10. – С. 28-31.
  • Глухих М.И. Оптимизация структуры информационно-управляющей системы специального назначения по критерию надежности // Научно-технические ведомости СПбГПУ. – 2006. #4. – С. 39-44.
  • Схемотехника цифровых устройств. Мет. указания / А.П. Антонов, М.И. Глухих, С.Л. Максименко, В.Ф. Мелехин, Т.М. Митина, А.С. Филиппов. – СПб.: СПбГПУ, 2006. – 69 с.
  • Глухих М.И. Формализация представления отказоустойчивых систем при проектировании структуры системы // Информационно-управляющие системы. – 2005. #3. C. 27-35.
  • Glukhikh M.I., Sadakov S.N. “Plasma Quest” code for pulse scenario synthesis and transient electromagnetic studies in tokamaks // Plasma Devices and Operations. – Vol.11(1), 2003. – Pp. 57-70.

Обладатель двух свидетельств о государственной регистрации программ для ЭВМ:

  • Власовских А.С., Глухих М.И., Зозуля А.В. Система построения SSA-дампа по исходному тексту программ на языках C/C++ // Свидетельство о государственной регистрации программы для ЭВМ № 2010610016 – 11 января 2010 г.
  • Ицыксон В.М., Моисеев М.Ю., Глухих М.И. и др. Система статического анализа исходного кода и обнаружения дефектов в программах на языке C // Свидетельство о государственной регистрации программы для ЭВМ №2009616183. – 10 ноября 2009 г.