TMPA School 2018 Kostroma: Software Testing, Data Analysis and Machine Learning

Выпускник механико-математического факультета МГУ (1994). На родном факультете защитил кандидатскую диссертацию (1998). Узнав о непредсказуемости важного класса самоорганизованных критических систем, опроверг это утверждение, написав компьютерный алгоритм, который эффективно прогнозирует наступление экстремальных событий в таких системах. Впоследствии описал связь между прогнозируемостью и неоднородностью систем и защитил докторскую диссертацию на эту тему (2012). В настоящее время применяет знание математических методов к актуальным задачам, возникающим в физике и экономике, публикуя свои результаты в ведущих научных журналах. Выполняет заказы сторонних организаций, если в работе есть исследовательская составляющая и не предполагается последующая манипуляция результатов. С 2011 года работает один месяц в году в Парижском институте физики Земли в качестве приглашённого профессора. В 2015-2017 годах занимался исследованиями в Российской экономической школе. В настоящее время профессор факультета компьютерных наук Высшей школы экономики, заведующий лабораторией моделирования и управления сложными системами. Ведёт занятия со школьниками в летних лагерях.

Смотреть профиль Александра Шаповала на hse.ru

В 2008 году окончил Нижегородский государственный технический университет, специальность Прикладная математика и информатика. В 2010 защитил кандидатскую диссертацию, специальность 05.13.18. В 2016 году стал доктором технических наук, специальность 05.13.01. В настоящее время - профессор кафедры информационных систем и технологий, старший научный сотрудник международной лаборатории алгоритмов и технологий анализа сетевых структур, руководитель научно-учебной группы анализа мультимедийных данных НИУ ВШЭ- Н. Новгород. С 2018 года - руководитель проекта в совместной лаборатории искусственного интеллекта Samsung-ПОМИ РАН. 

Область научных интересов - статистическое распознавание образов, обработка изображений. Автор болел 100 публикаций, в том числе монографии в издательстве Springer, статей в престижных международных журналах Pattern Recognition, Neural Networks, Knowledge-based Systems, Expert Systems with Applications, Pattern Recognition Letters и др. Соруководитель секции анализа изображений международной конференции analysis of images, social networks and texts (AIST).

Смотреть профиль Андрея Савченко на hse.ru

Выпускница кафедры Системного программирования ВМиК МГУ (2006 год).

В 2011 году защитила кандидатскую диссертацию по верификации моделей процессов в Вычислительной центре РАН (ВЦ РАН).

С 2013 года работает старшим научным сотрудником в Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) НИУ ВШЭ.

В 2018 году получила степень PhD в Техническом Университете Эйндховена, тема работы: Learning high-level models from event data.

Смотреть профиль Анны Каленковой на hse.ru

Кандидат физико-математических наук, автор научных работ и патента в области моделирования и анализа вычислительных процессов. Соорганизатор и член программного комитета международных научных конференций TMPA, SYRCOSE, AIST. Опыт работы включает проекты с компаниями Microsoft, Thomson-Reuters, EMC, Сбербанк, Росатом, а также МИ РАН, Фонд Сколково, АСИ и другими организациями.

Соучредитель и генеральный директор компании Exactpro, специализирующейся на функциональном и нефункциональном тестировании трейдинговых платформ, систем распространения информации о торгах и котировках, биржевых, депозитарных и клиринговых инфраструктур, а также управлении рисками.

Компания Exactpro была основана в 2009 году, за 8 лет выросла с 10 до 500 специалистов, а в мае 2015 года стала частью Группы Лондонская фондовая биржа. Иосиф руководит разработкой и проведением исследований в области устойчивости высоконагруженных систем. Он является организатором нескольких отраслевых конференций, включая конференцию EXTENT о тенденциях в тестировании программного обеспечения и технологиях трейдинга.

Иосиф активно участвует в реализации проектов в области тестирования программного обеспечения для рыночных инфраструктур и непосредственно руководил техническими проектами и разработкой инструментов и методов анализа программ для ведущих компаний, работающих в финансовой индустрии.

Анна окончила факультет автоматизированных систем и технологий Костромского государственного технологического университета. В 2013 Анна защитила кандидатскую диссертацию в области автоматизации технологических процессов и производств на базе Владимирского государственного университета.

Анна начала свою работу в Exactpro на должности исследователя. Она разработала методику интеллектуального анализа отчетов об ошибках программного обеспечения, воплотив ее в Nostradamus — инструменте, который уже сейчас эффективно применяется на проектах и продолжает развиваться силами Анны и её команды. По данной методике опубликованы научные статьи.

Также Анна занимается вопросами тестирования интеллектуальных систем. Сейчас Анна возглавляет отдел анализа данных в Exactpro.

Научные публикации:

• Gromova A. (2018) Defect Report Classification in Accordance with Areas of Testing. In: Itsykson V., Scedrov A., Zakharov V. (eds) Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779, pp. 38-50. Springer, Cham
• Gromova A.: Using Cluster Analysis for Characteristics Detection in Software Defect Reports / W.M.P. van der Aalst et al. (Eds): AIST 2017, LNCS 10716, pp. 152-163, 2018
• Moskaleva O., Gromova A. Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms, to be published in Trudy ISP RAN/Proc. ISP RAS, 2017, vol. 1
• CLA-2016 : Gromova A., Moskaleva O. "Using intelligent systems and structural analysis to assure orderly operations of the modern trading and exchange platforms"