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

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

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

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

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

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

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

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

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

Анна окончила факультет автоматизированных систем и технологий Костромского государственного технологического университета. В 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"

На протяжении своей карьеры Антон в разных функциях занимался разработкой инструментов автоматизации тестирования для финансового сектора. Присоединившись к команде Exactpro в 2013 году, Антон возглавил разработку инструмента тестирования системы надзора за рынком. Антон закончил МГТУ им. Н. Э. Баумана и имеет квалификацию инженера в сфере разработки программного обеспечения.

Начал свою карьеру в тестировании ПО в 2003 году в качестве инженера по функциональному тестированию брокерской системы. Впоследствии он стал заниматься техническим (нефункциональным) тестированием (НФТ). За плечами Павла работа с несколькими брокерскими и биржевыми системами. В команде Exactpro Павел руководит группой по тестированию и поддержке нескольких платформ для ведущих мировых торговых площадок.

Станислав закончил МГТУ «СТАНКИН» по специальности «Автоматизация технологических процессов и производств» в 2013 году. Начал работу в Exactpro в 2014 году и с тех пор задействован в различных проектах для финансовых организаций из Казахстана, Австралии, Канады, Великобритании и других стран. В настоящее время Станислав возглавляет группу по нагрузочному тестированию.

Михаил присоединился к Exactpro январе 2015 года. В начале карьеры Михаил занимался нефункциональным тестированием, затем перешел к разработке инструментов для нефункционального тестирования и бизнес-анализу. Михаил — выпускник НИЯУ МИФИ по специальности «Прикладная математика и информатика» (квалификация — математик, системный программист).