English 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. В настоящее время основные области научных интересов включают методы анализа, верификации, рефакторинга и оценки надежности программного кода. К более ранним интересам относятся методы проектирования и анализа отказоустойчивых систем и создание высокопроизводительных комплексов цифровой обработки сигналов.

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

• Алгоритмизация и программирование (Котлин) (первый курс)
• Технологии программирования (Java) (первый курс)
• Алгоритмы и структуры данных (второй курс)

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

• Программирование на языке C++ (первый курс)
• Надежность систем и устройств (четвертый курс)
• Концепции языков программирования, год 2011 (пятый курс)

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

Автор 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.
• 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 г.