Профессорский состав

Бертран Мейер, Швейцария

В 1974 г. закончил Политехническую школу (Ecole Polytechnic, Франция) и стал инженером. В этом же году получил степень магистра по вычислительным наукам (Computer Science) в Стэнфордском университете (Stanford University, США). Степень PhD получил в 1985 г. в Университете Анри Пуанкаре (Henri Poincare University,Франция). С 2011 г. Б. Мейер является заведующим кафедры программной инженерии и верификации программ в Санкт-Петербургском государственном университете информационных технологий, механики и оптики (ИТМО). Руководитель и основатель фирмы Eiffel Software. С 2003 г. директор Лаборатории программной инженерии в Высшей политехнической школе (ETH Zurich, Швейцария), которая занимает  13-е место в рейтинге лучших университетов мира по версии Times Higher Education).

Мануэль Маццара, Италия

Мануэль Маццара получил степень магистра (2002) и PhD (2006) в Университете Болоньи (Bologna University, Италия). Он был разработчиком в компании Майкрософт, а также участвовал в проектах ООН. Мануэль Маццара работал в Университете Ньюкасла (Newcastle University, Великобритания) над проектом DEPLOY, в 2012 году он занимал должность специалиста по программированию в Университете ООН в Макао (United Nations University, Китай).

Джанкарло Суччи, Италия

Джанкарло Суччи получил степень бакалавра по электротехнике в Университете Генуи (Genoa University, Италия), степень магистра по информатике в Университете штата Нью-Йорк (State University of New York, США), степень PhD по вычислительной технике и электротехнике в Университете Генуи (Genoa University, Италия) в 1993 году. Ему была присвоена ученая степень доктора наук в Италии и Канаде.

Джу Ёнг Ли, Республика Корея

Получила степень PhD в Сиракузском Университете (Syracuse University, США). Имеет опыт работы в образовательной среде и индустрии (JPMorgan, Sun Microsystems). Профессор Ли разрабатывает алгоритмы определения активности и оценки репутации пользователей социальных сетей.

Aдил Мехмуд Хан, Пакистан

Получил степень кандидата наук по компьютерной инженерии (Computer Engineering) в университете Кьюнг Хи (Kyung Hee University, Республика Корея). А. Хан более 8 лет занимается исследовательской и преподавательской деятельностью. С 2011 г. А. Хан является профессором, а также ведущим исследователем в Университете Аджу (Ajou University, Республика Корея) (факультет информационных технологий и компьютерной инженерии). К его научным интересам относятся: машинное обучение, анализ данных, моделирование данных, контекстно-зависимые вычисления, контекстное распознавание посредством носимых датчиков и датчиков изображения, человекоориентированные мобильные приложения.

Евгений Зуев, Россия

Окончил Московский государственный университет и получил там научную степень. В течение ряда лет проводил исследования и преподавал как в российских, так и в ведущих зарубежных вузах – Швейцарской технической школе (ETH Zurich, Швейцария), 2000-2006, и Федеральной политехнической школе Лозанны (EPFL Lausanne, Швейцария), 2009-2010.

Джозеф Браун, Канада

Окончил Университет Брока (Brock University, Канада) со степенью магистра по компьютерным наукам, получил степень PhD в области компьютерных наук в Университете Гвельфа (University of Guelph, Канада). Джозеф Браун занимает должность преподавателя факультета компьютерных наук в Университете Брока, а также должность аналитика производственных систем в компании PolyconIndustries. Является обладателем награды GraduateTAAward (Университет Брока) и автором множества научных работ, книг, докладов в области компьютерных наук.

Афанасиос Василакос, Греция

Афанасиос Василакос профессор Университета Иннополис, руководитель лаборатории кибербезопасности и вычислительных сетей.
Является высоко цитируемым исследователем ISI. Его главные исследовательские интересы включают в себя вычислительные сети/Интернет вещей/облачные вычисления, кибербезопасность, большие данные/анализ данных, искусственный интеллект, медицинские информационные системы/молекулярные наносети. Профессор Василакос являлся и является редактором многих ведущих технических изданий, таких как IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT; IEEE TRANSACTIONS ON CLOUD COMPUTING, IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,IEEE TRANSACTIONS ON CYBERNETICS; IEEE TRANSACTIONS ON NANOBIOSCIENCE; IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE; ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS; IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS.

Николай Шилов, Россия

Николай Шилов закончил Механико-математический факультет Новосибирского государственного университета в 1983 и затем кандидатскую диссертацию в Новосибирском Вычислительном Центре Академии Наук СССР в 1987.

Начиная с 1987 г. Николая работал научным сотрудником в Институте Систем Информатики им. А.П. Ершова (Российская академия наук), преподавал в Новосибирском государственном университете и за рубежом: Sydney University of Technology (Австралия), Nazarbayev University (Казахстан), University of Canterbury, Christchurch (Новая Зеландия), Korea Advanced Institute of Science and Technology, Chung-Ang University и Samsung Advanced technology Training Institute (Южная Корея).

Область научных интересов – теория программирования и прикладная логика (в соответствии с традицией, основанной Андреем Петровичем Ершовым и Борисом Абрамовичем Трахтенбротом). В настоящее время его исследовательские интересы – математические основания формальных методов и их приложения для анализа программы, информационных, распределенной и многоагентных систем.

Ярослав Холодов, Россия

Работал на кафедре вычислительной математики МФТИ в должности старшего преподавателя с 2001 года и в должности доцента с 2007 года. Читал студентам МФТИ учебные курсы: «Вычислительная математика», «Нелинейные вычислительные процессы», «Численное моделирование динамики транспортных потоков». Основное направление научной деятельности— интеллектуальный анализ транспортных данных и моделирование движения дорожного трафика с использованием алгоритмов адаптивного управления. Ярослав Холодов — автор 35 научных публикаций в реферируемых журналах и 15 свидетельств о госрегистрации компьютерных программ. Рецензирует журналы «Математическое моделирование» и «Компьютерные исследования и моделирование», соавтор 3 учебных пособий и одной книги. В Университете Иннополис Ярослав Холодов руководит лабораторией интеллектуальных транспортных систем.
Повышение квалификации: Аспирантура в Московском физико-техническом институте (государственном университете).

Алан Роджерс, США

За более чем 20-летнюю карьеру в сфере информационных технологий Алан Роджерс являлся разработчиком, аналитиком, менеджером, руководителем проектов и программ. В последние несколько лет Алан специализируется на разработке облачных решений для ряда компаний, начиная от быстро развивающихся стартапов до топ-100 компаний по версии журнала Fortune. В фокусе внимания А. Роджерса находятся облачные платформы и гибкие методы разработки, и он готов поделиться со студентами своим опытом в этой области.

Работая в США и Великобритании, Алан Роджерс более двадцати лет занимался разработкой программного обеспечения для таких компаний, как Cable & Wireless, ATT, Genentech, Symantec, NetApp, The Home Depot, Accenture, Appirio и Tata Consulting. В последнее время в круг его профессиональных интересов входят управление проектами и программами, облачные вычисления и краудсорсинг. Алан имеет большой опыт в области традиционной (водопадной) разработки и современной гибкой разработки ПО, а также распространённых по всему миру подходах к разработке ПО. А.Роджерс успешно руководил мультикультурными группами разработчиков, занятых созданием производительных инновационных систем. Алан Роджерс руководил проектом по реализации сотрудничества между Сколковским институтом технологий и Массачусетским технологическим университетом (MIT). Кроме того, он с энтузиазмом относится к идее создания новых университетов, специализирующихся на науке и технологиях. А.Роджерс имеет опыт ведения научных исследований в области генетики и молекулярной биологии.

Виктор Ривера, Италия

Исследовательские интересы включают в себя формальные модели для разработки и верификации программного обеспечения, проблемы удовлетворения ограничений и параллельное программирование ограничений. Разработал несколько инструментов для сочетания формальных методов в разработке программного обеспечения, помогающих улучшить их качество. Имеет степень доктора философии (2011-2014), степень магистра (2009-2010) и степень бакалавра (2003-2009) по информатике и инженерии (Университет Хавериана, Колумбия). В прошлом принимал участие в разработках для Центра моделирования материалов и процессов (MSC) в Калифорнийском технологическом институте, а также принимал участие в разработках различных исследовательских проектов с использованием Constraint Programming. Также работал в качестве научного сотрудника в Институте интерактивных технологий Мадейры (Madeira-ITI), разрабатывая инструменты для сочетания формальных методов в разработке программного обеспечения. В настоящее время Виктор также является членом исследовательской группы AVISPA.

Анджело Мессина, Италия

Анджело Мессина имеет степень по инженерным наукам, полученную в Туринском политехническом университете, Италия, степень доктора наук по электронике, полученную в Высшей школе телекоммуникационных технологий и информатики (T.E.I) при Министерстве обороны, прошёл курсы военной подготовки для общего состава штаба и объединенного состава штаба.
Занимал пост руководителя по гибкой разработке программного обеспечения в итальянской армии: в течение 2 лет управлял группами (до семи) по созданию программного обеспечения высокой надежности. В качестве заместителя директора по развитию научных исследований и высоких технологий Европейского оборонного агентства занимался военными исследованиями в области извлечения и обработки данных. В течение 4 лет занимал должность инженера командного пункта комплекса (BMC4I) в Агентстве по управлению системами ПВО среднего радиуса действия, НАТО, США.

Джу Йонг Ли, Корея

Работал в качестве старшего научного сотрудника в Национальном университете Сингапура (NUS). Закончил аспирантуру в Орхусском университете в Дании в 2007 году при специальном Центре фундаментальных исследований в области компьютерных наук,который был посвящен исследованиям в таких фундаментальных областях информатики, как логика, семантика и алгоритмика. Исследовательский интерес в настоящее время - разработка программного обеспечения и обеспечение его безопасности, примером такого продукта является автоматизированное удаление неисправностей в программе, при котором разработчикам предлагается исправление ошибок, связанных с безопасностью.

Александр Климчик, Беларусь

Получил степень инженера (2006) и магистра (2007) по автоматическому управлению в Белорусском Государственном Университете Информатики и Радиоэлектроники. Защитил докторскую диссертацию по машиностроению (робототехника) в Высшей Инженерной Центральной Школе города Нанта (Франция) в 2011 году. Автор 50 научных работ в области робототехники и машиностроения. Его статья в журнале «Теория машин и механизмов» (2011, 46 (5), 662-679) — вторая по цитированию работа в журнале (издание входит в Топ-5 международных журналов в машиностроении, Impact factor: 1.66). В Университете Иннополис Александр Климчик преподаёт курс «Advanced Robotic Manipulation» в качестве доцента Лаборатории Интеллектуальных Робототехнических Систем.
Повышение квалификации: Аспирантура Центральной школы Нанта, Франция.

Рашид Хуссейн, Пакистан

Рашид Хуссейн получил степень бакалавра в области программной инженерии в Университете инженерии и технологий (N-W.F.P University of Engineering and Technology), г. Пешавар, Пакистан, в 2007 году. В 2010 году получил степень магистра по направлению «Компьютерная инженерия» в Университете Ханьянг (Hanyang University), Республика Корея, и степень Ph.D. в этой же области в Южной Корее в феврале 2015 года. Кроме того, с марта по август 2015 года Рашид Хуссейн работал в качестве научного сотрудника в Университете Ханьянг. Автор и соавтор 45 исследований, опубликованных в национальных и международных изданиях. Рашид Хуссейн выступает рецензентом многих журналов и международных конференций, включая IEEE INFOCOM, IEEE GLOBECOM, IEEE VNC, IEEE ICC, IEEE PCCC, IEEE NoF и др. Приглашён в Университет Иннополис в качестве научного сотрудника, в настоящее время он является консультантом российского IT-вуза и приглашенным исследователем Университета Амстердама (University of Amsterdam), Нидерланды.

Нестор Катаньо, Колумбия

Получил степень магистра в области компьютерных наук в Университете Париж VII им. Дени Дидро и PhD в национальном исследовательском институте INRIA в Софии-Антиполис (Франция). Читал лекции в Университете Мадейры (Португалия), университетах Андес, EAFIT и Хаверьяна (Колумбия). Работал приглашённым преподавателем в Университете Карнеги-Меллон (США). Является главным разработчиком и специалистом по внедрению генератора кода EventB2Java для Event-B. Нестор Катано выступал координатором нескольких европейских национальных исследовательских проектов по формальным методам, параллельным процессам и программной инженерии. Сегодня он является доцентом в области информатики и программной инженерии в Университете Иннополис.

Альберто Силлитти, Италия

Альберто Силлитти – преподаватель, руководитель Лаборатории кибер-физических систем. А.Силлитти имеет степень кандидата наук (PhD) в области электроники и компьютерной инженерии, полученную в Университете Генуи (University of Genoa), Италия, в 2005 году. Область его научно-исследовательских интересов включает разработку мобильного и энергозависимого ПО и оценку качества кибер-физических систем.  

Илья Афанасьев, Россия

В 2010-2013 являлся постдоком по программе им. Марии Кюри в Университете Тренто (University of Trento, Италия), разрабатывая сенсорную систему для робота и алгоритмы обработки 3D данных, и обучая студентов мехатронике и обработке данных.