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

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

В 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дил Мехмуд Хан, Пакистан
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 (Университет Брока) и автором множества научных работ, книг, докладов в области компьютерных наук.

Доцент
Николай Шилов, Россия
Николай Шилов, Россия

Николай Шилов закончил Механико-математический факультет Новосибирского государственного университета в 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 учебных пособий и одной книги. В Университете Иннополис Ярослав Холодов руководит лабораторией интеллектуальных транспортных систем.
Повышение квалификации: Аспирантура в Московском физико-техническом институте (государственном университете).

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

Исследовательские интересы включают в себя формальные модели для разработки и верификации программного обеспечения, проблемы удовлетворения ограничений и параллельное программирование ограничений. Разработал несколько инструментов для сочетания формальных методов в разработке программного обеспечения, помогающих улучшить их качество. Имеет степень доктора философии (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), Нидерланды.

Доцент, программа магистратуры «Разработка безопасных систем и сетей»
Альберто Силлитти, Италия
Альберто Силлитти, Италия

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

Директор института информационных систем
Илья Афанасьев, Россия
Илья Афанасьев, Россия

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

Доцент
Оставьте контакт и получите подробную информацию о возможностях обучения и работы в Университете Иннополис.
Интересует:

Спасибо за регистрацию,
информация скоро будет у вас.