Дата рождения: 27.05.1987
E-mail:
Ключевые слова: генетическое программирование, машинное обучение, верификация моделей, автоматное программирование.

Основные темы научной работы:

Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе спецификации.

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

1. Егоров К.В., Шалыто А.А., “Методика верификации автоматных программ”, Информационно-управляющие системы, 2008, № 5, 15–21
2. Егоров К.В., Шалыто А.А., “Разработка верификатора автоматных программ”, Научно-технический вестник СПбГУ ИТМО, 2008, № 53, 177–188
3. Егоров К.В., Царев Ф.Н., Шалыто А.А., “Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации”, Научно-технический вестник СПбГУ ИТМО, 2010, № 69, 81–85
4. Егоров К.В., Царев Ф.Н., “Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением”, Информационные технологии и системы, ИППИ РАН, М., 2009, 72–82
5. Егоров К.В., Парфенов В.Г., Царев Ф.Н., “Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением”, Труды XVII Всероссийской научно-методической конференции “Телематика`2010”, т. 2, 2010, 344–345

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики