Доцент кафедры ИТИДиС

Кандидат физ-мат наук

Группа: 786 (1998 - 2002)
Магистратура: 720 (2002 - 2004)
Аспирантура: 2004 - 2009

Список предметов:

  1. Введение в системное администрирование (Лекция)
  2. Сетевые информационные технологии (Лекция)
  3. АБД и АБЗ (Практика)
  4. Аналитическая геометрия (Практика)
  5. Дискретная математика (Практика)
  6. Математическая логика (Практика)
  7. Основы информатики (Семинар)

Список публикаций:

Статья:

  1. Быкова С.В., Ахунов Д.С., Громов М.Л., Колегов Д.Н. Моделирование квантовых алгоритмов Шора и Гровера на классическом компьютере // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 192-198.
  2. Gromov M., Willemse T. Testing and Model-Checking Techniques for Diagnosis // Vol.4581 of LNCS. - Springer, 2007. - P. 138-154.
  3. Громов М.Л., Дорофеева М.Ю., Коломеец А.В. К синтезу тестов по мутационному автомату // Вестник ТГУ. Приложение. 2006. - № 18. - С. 43-49.
  4. Громов М.Л., Кушик Н.Г., Евтушенко Н.В. Различающие эксперименты с неинициальными недетерминированными автоматами // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. - С. 93-101.

Доклад:

  1. Громов М.Л. Квантовый алгоримт дискретного логарифмирования // Материалы студенческой научной конференции, посвященной 50-летию РФФ ТГУ. - Томск: ТГУ, 2003. - С. 7-10.
  2. Коломеец А.В., Громов М.Л., Прокопенко С.А. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Инфокоммуникационные и вычислительные технологии и системы. Материалы Всероссийской конференции.Часть II. - Улан-Удэ: Издательство Бурятского университета, 2003. - С. 6-9.
  3. Коломеец А.В., Громов М.Л., Прокопенко С.А., Евтушенко Н.В. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75-летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 503-505.
  4. Громов М.Л., Коломеец А.В., Евтушенко Н.В. Синтез диагностических тестов для автоматных сетей // Вестник ТГУ. Приложение. – 2004. – № 9(I). - С. 204-209.
  5. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Синтез цифровых узлов схем управления многофазными инверторами // Труды 1-й конференции студенческого научно-исследовательского инкубатора. - Томск: НТЛ, 2005.
  6. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Design of digital Controlling Module by multiphase Inverters // Труды 1-й конференции студенческого научно-исследовательского инкубатора, Томск: НТЛ, 2005.
  7. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Digital controller for multiphase invertors // Proceeding of IEEE East-West Design & Test Workshop (EWDTW`05). - Ukraine, Odessa: IEEE Computer Society, 2005. - P. 165-168.
  8. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Techniques for Designing a Digital Circuit Controlling Multiphase Inverters // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  9. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Методы синтеза цифровых узлов схем управления m-фазными инверторами // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  10. Громов М.Л., Шабалдина Н.В. О распознавании недетерминированного автомата в заданном классе // Материалы IX Международного семинара «Дискретная математика и её приложения» / Под ред. О.М. Касим-Заде. - М.: ММФ МГУ, 2007. - С. 157-160.
  11. Громов М.Л. Метод построения полного проверяющего теста для входо-выходных полуавтоматов // Вестник ТГУ. Управление, вычислительная техника и информатика. — 2008. — №3(4). - С. 85-98.
  12. Gromov M.L., Evtushenko N.V., Kolomeets A.V. On the synthesis of adaptive tests for nondeterministic finite state machines // Program. Comput. Softw. - 2008. - Vol. 34, no. 6. - P. 322-329.
  13. Громов М., Кондратьева О. Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме // Журнал СФУ. Серия: Математика и физика — 2008. — Т. 1, № 3. - С. 257-261.
  14. Gromov M. A novel method for derivation of a test with guaranteed coverage for LTS // Proceedings of SYRCoSE 2008. -St.Peterburg:S-PSU, 2008. - P. 47-49.
  15. Gromov M., Popov D., Yevtushenko N. Deriving test suites for timed Finite State Machines // Proceedings of IEEE East-West Design & Test Symposium'08. — Kharkov, Ukraine: SPD FL Stepanov V.V., 2008. - P. 339-343.
  16. Gromov M., El-Fakih Kh., Shabaldina N., Yevtushenko N. Distinguing Non-deterministic Timed Finite State Machines // Vol. 5522 of LNCS. - Springer, 2009. - P. 137-151.

Тезисы:

  1. Громов М.Л., Евтушенко Н.В., Коломеец А.В. К синтезу условных тестов для недетерминированных автоматов // Программирование. – 2008. – № 6. - С. 1-11.

Диссертация, представленная на соискание ученой степени кандидата технических наук:

  1. Громов М.Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением // Диссертация, представленная на соискание ученой степени кандидата физико-математических наук, Томск, ТГУ, 2009. - 154 c.