RussianРусская версия

Mikhail Glukhikh

Фото Mikhail Glukhikh was born in 3 June 1978 in Leningrad. He was graduated from Ioffe Physical Technical School in 1995 and from Saint Petersburg State Polytechnical University in 2001 with master degree in informational technologies. During 2001-2004, he was PhD student in the same university, and then he defended PhD thesis in 2007. The title of his thesis is "Synthesis method development of special-purpose informational and control systems with structural redundancy".

Mikhail worked in Kodeks Software Development Center during 1999-2000, and in Efremov Research Institute of Electrophysical Apparatus during 2001-2002. Since 2002, he is a lead developer in Digitek Labs at computer system and software engineering department. He was a senior lecturer of the department from 2004 to 2007, from 2007 he is an associate professor. In 2013 he had one-year stay in Clausthal University of Technology as an invited researcher. In 2014, he worked at SPb office of Intel corporation, since March 2015, he participates in Kotlin language development at JetBrains company.

Mikhail is the main author of KotlinAsFirst Kotlin education course (in Russian yet). Mikhail is one of Digitek Aegis defect detection tool authors, also he is one of Digitek RA tool authors. Nowadays primary R&D areas include code analysis, code verification, code refactoring and code reliability estimation methods. Before he had also interests in fault-tolerant system design and analysis and also in high-productive digital signal processing complexes developing.

Nowadays he is a lecturer of the following courses:

In the past he led also the following courses:


Mikhail is an author of 39 works. 1 book, 2 guidebooks, 12 scientific articles and 24 conference thesises are among them. For example:

  • 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, conference site 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.
  • 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, conference site SECR2011
  • M. Glukhikh, M. Moiseev, and H. Richter, An Approach for the Reliability Analysis of Automotive Control Systems, in Proceeding of the Fourth International Conference on Dependability (DEPEND 2011), IARIA, 2011, pp. 51-56, ISBN 978-1-61208-149-6.
  • M. Glukhikh, V. Itsykson, and V. Tsesko, Using Dependencies to Improve Precision of Program Static Analysis, in Proceeding of the 6th International Computer Science Symposium in Russia, The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications, Yaroslavl, 2011, pp. 51-58.
  • M. Glukhikh and V. Itsykson, Software engineering: Software Quality Assurance Using Static Analysis Methods: guidebook (in russian), Saint Petersburg, SPbSPU, 2011, 150 pages.
  • V. Itsykson and M. Glukhikh, Software Behavior Specification Language (in russian), Scientific Journal of Saint Petersburg State Polytechnical University, Computer science section, vol. 3 (101), 2010, pp. 63-70.
  • V. Itsykson, M. Glukhikh, A. Zozulya, and A. Vlasovskikh, Research of C/C++ Source Code Model Extraction Tools (in russian), Scientific Journal of Saint Petersburg State Polytechnical University, Computer science section, vol. 1 (72), 2009, pp. 122-130.
  • M. Glukhikh and S. Sadakov, "Plasma Quest" code for pulse scenario synthesis and transient electromagnetic studies in tokamaks, Plasma Devices and Operations, vol.11(1), 2003, pp. 57-70.

Mikhail is an owner of two Russian software registration certificates:

  • Certificate No. 2009616183, A tool for static analysis and defect detection in C programs. Itsykson V.M., Moiseev M.J., Glukhikh M.I. et al., November 10, 2009.
  • Certificate No. 2010610016, A tool for SSA-dump creation for C/C++-programs. Vlasovskikh A.V., Glukhikh M.I., Zozulja A.V., January 11, 2010.