Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Егоров Кирилл Викторович

Егоров Кирилл Викторович

Магистрант, студент Санкт-Петербургского государственного университета информационных технологий механики и оптики. В 2008 году защитил бакалаврскую работу в Санкт-Петербургском государственном университете информационных технологий механики и оптики по специальности «Прикладная математика и информатика». Автор одной научной публикации. Область научных интересов - автоматное программирование, верификация программного обеспечения, параллельные вычисления.

Статьи автора:

  1. Методика верификации автоматных программ
    К. В. Егоров , А. А. Шалыто
    Журнал: 5(36)/2008 (Программные и аппаратные средства)