Об университете
Преподавательский состав
Джанкарло Суччи

Джанкарло Суччи

  • Декан Факультета компьютерных наук
  • Руководитель Лаборатории разработки промышленного ПО
  • Профессор в области программной инженерии, глава лаборатории по улучшению производства программного обеспечения
  • Джанкарло Суччи получил степень бакалавра по электротехнике в Университете Генуи, степень магистра по информатике в государственном университете Нью-Йорка (Буффало), звание доктора наук по вычислительной технике и электротехнике в Университете Генуи (Италия). Ему присвоены учёные степени высших ступеней в Италии и Канаде. Джанкарло Суччи занимал должность профессора в Свободном Университете Боцен-Больцано (Италия), Альбертском Университете в Эдмонтоне и Университете Калгари (Канада). В сферу интересов профессора входят: эмпирические исследования программного обеспечения, разработка открытого программного обеспечения, мобильных, энергосберегающих и энергоэффективных систем, а также повторное использование программного кода и создание серийных программных продуктов. Джанкарло Суччи автор 5 книг и редактор еще 12, опубликовал 370 работ.

Николаос Мавридис

Николаос Мавридис

  • Руководитель Лаборатории Когнитивных Робототехнических Систем
  • Профессор
  • Получил степень PhD в Массачусетском технологическом институте (США) в 2007 году. Являлся доцентом в Университете Объединённых Арабских Эмиратов и Нью-Йоркском Университете в Абу-Даби (ОАЭ), занимал должность научного сотрудника в Национальном центре научных исследований «Демокритос» (Греция). Николаос Мавридис основал Лабораторию по интерактивным роботам и медиа (IRML), которая прославилась созданием антропоморфного робота «Ибн Сина», говорящего на арабском языке, социального робота "FaceBots" и интерактивного робота "Ripley". Последний обладает сенсорно-моторными лингвистическими навыками аналогичными тем, которые оцениваются тестом на способность детей понимать, запоминать и выполнять устные указания. Николаос Мавридис — автор 50 рецензированных публикаций с количеством цитирования 600, рецензент ряда научно-исследовательских журналов, основатель сообщества по робототехнике IEEE UAE Robotics and Automation Society. В Университете Иннополис он руководит Лабораторией Когнитивных Робототехнических Систем.

Альберто Силлитти

Альберто Силлитти

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

Альберто Силлитти имеет степень кандидата наук (PhD) в области электроники и компьютерной инженерии, полученную в Университете Генуи (University of Genoa), Италия, в 2005 году. В период с 2005 по 2010 г. А.Силлитти занимал должность старшего преподавателя, с 2010 по 2015 - должность доцента. В 2015 году он прошёл подготовку для работы в качестве профессора. А.Силлитти принимал участие в ряде проектов, связанных с программным обеспечением с открытым исходным кодом, гибкими методами разработки и кибер-физическими системами, в рамках которых он применяет неинвазивные измерительные подходы. Альберто Силлитти являлся членом программного комитета нескольких международных конференций и председателем ряда конференций, в частности: Международной конференции по открытому исходному коду (OSS) 2007 г., Международной конференции по гибкой разработке (XP) 2010 и 2011 гг. и Международной конференции по компьютерной инженерии, безопасности и обороне (SEDA) 2012, 2013 и 2014 гг. Области его научных исследований включают разработку программного обеспечения с открытым исходным кодом, гибкие методы разработки, эмпирическую программную инженерию, качество программного обеспечения, кибер-физические системы, мобильные и веб-сервисы. В последнее время А.Силлитти занимается разработкой мобильного и энергосберегающего программного обеспечения и оценкой качества кибер-физических систем. А.Силлитти – автор 2 книг и более 150 работ, опубликованных в материалах международных конференций и научных журналах.

  • Эмпирическая программная инженерия
  • Качество ПО
  • Кибер-физические системы
  • Открытый исходный код
  • Гибкие методы разработки
Мануэль Маццара

Мануэль Маццара

  • Директор института технологий разработки ПО
  • Руководитель Лаборатории архитектуры и моделей разработки ПО
  • Доцент
  • Мануэль Маццара получил степень магистра (2002) и PhD (2006) в Университете Болоньи. Разрабатывал программное обеспечение в компании Майкрософт и работал в Университете Ньюкасла над проектом Deploy. В 2012 году он стал специалистом по программированию в Университете ООН (Макао). Сегодня Мануэль Маццара работает заместителем заведующего лаборатории программной инженерии и верификации программ Университета Иннополис. Сфера научных интересов профессора включает кибербезопасность, разработку ПО, социальные сети и глобальное здравоохранение. Автор 30 публикаций.

  • Кибербезопасность
  • Разработка ПО
  • Социальные сети
  • Глобальное здравоохранение
  • Типы систем обработки данных
  • BPM
  • Web-сервисы
  • Standard Data types for pilike Calculi,XML Data Types for the picalculus,Query Languages for Semistructured Data
  • BPM: Business Processes, Business to Business Integration, Long Running Transactions for B2B
  • Requirements: Problem Frames approach
  • Software Engineering: Software Metrics, Component-based development, Software Environments for Costs Detec- tion, Quality Improvement in Enterprises
  • Methods: Methods for Deriving Specifications, Agile Methods and Extreme Programming
  • Web Services Composition: Web Services Technologies, Foundations of WS Composition, WS-BPEL and WS-CDL, Re- covery Framework of Composition Languages, Semantic Discovery, Semantic Composition
  • Concurrency : small Mobile Process Calculi, Rely/guarantee reasoning
  • Dependability : Dependable systems, Software Reliability Theory
  • Trust and Social Networks: Trust Ranking, Algorithms
  • Dynamic Reconfiguration: Modeling and verification of reconfigurable workflows, security aspects
  • E-health: Software engineering for global health, immunization support, telemedicine, remote assistance
  • Temporal Logic: Model checking and verification of self-* systems
  • Automotive : Software engineering and methods for automotive systems
  • Architectural Styles: Service Oriented Architectures and Microservices
  • Affective Computing: Neurobiology-inspired models and architectures for Affective Computing
  • Data types: Standard Data types for pi-like Calculi, XML Data Types for the pi-calculus, Query Languages for Semistructured Data
  • Roberto Lucchi, Manuel Mazzara. A π-calculus based semantics for WS-BPEL - Journal of Logic and Algebraic Programming (JLAP) . 2007.
  • Manuel Mazzara, Roberto Lucchi. Framework for Generic Error Handling in Business Processes - 1st International Workshop on Web Services and Formal Methods. 2004. Pisa, Italy.
  • Manuel Mazzara, Ivan Lanese. Towards a Unifying Theory for Web Services Composition - 3rd International Workshop on Web Services and Formal Methods. 2006. Vienna, Austria.
  • Claudio Guidi, Roberto Lucchi and Manuel Mazzara. Formal Framework for Web Services Coordination - 3rd International Workshop on Foundations of Coordination Languages and Software Architectures. 2004. London, UK.
  • Manuel Mazzara, Sergio Govoni . Case Study of Web Services Orchestration - Seventh International Conference on Coordination Models and Languages. 2005. Namur, Belgium.
  • Manuel Mazzara and Anirban Bhattacharyya . Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems - DEPEND International Conference on Dependability. 2010. Venice, Italy.
  • Lanese, I., Mazzara, M., Montesi, F. Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Science of Computer Programming, Volume 97 . 181-182. 2015.
  • Ferrucci, L, Bersani, M.M, Mazzara, M.. An LTL semantics of business workflows with recovery . Proceedings of the 9th International Conference on Software Paradigm Trends, SciTePress. 29-40. 2014. Vienna; Austria; .
Илья Афанасьев

Илья Афанасьев

  • Доцент
  • В 2000 году окончил Балтийский Государственный Технический Университет (Санкт-Петербург) по специальности «Системы Автоматического Управления». Через 6 лет защитил кандидатскую диссертацию в Государственном Оптическом Институте им. С.И. Вавилова (Санкт-Петербург) по специальности «Оптико-электронные приборы и комплексы». В 2010—2013 годах занимал должность пост-дока по программе им. Марии Кюри в университете Тренто (Италия). Там он разрабатывал сенсорную систему для робота и алгоритмы обработки трёхмерных данных, обучая студентов робототехнике и комбинированию датчиков в мехатронных системах. Сотрудничал с международными индустриальными компаниями, разрабатывал аппаратуру для аэрокосмических, банковских, робототехнических и нефтегазовых приложений.

Джозеф Браун

Джозеф Браун

  • Руководитель Лаборатории искусственного интеллекта в разработке игр
  • Доцент
  • Джозеф Браун окончил Университет Брок (Канада) и там же получил степень магистра по компьютерным наукам. Защитил кандидатскую диссертацию в области компьютерных наук в Университете Гвельфа (Канада). Джозеф Браун занимает должность преподавателя (instructor) на факультете компьютерных наук в Брокском Университете и должность аналитика производственных систем в компании “PolyconIndustries”. Обладатель премии Graduate TA Award (Брокский университет), автор 25 рецензируемых публикаций и участник конференций по IEEE. Его научные интересы включают в себя: искусственный интеллект, машинное обучение и теорию игр.Джозеф Браун — доцент и сотрудник Лаборатории Интеллектуальных Робототехнических Систем Института Робототехники Университета Иннополис.

  • J.A.Brown. Towards Better Personas in Gaming: Contract Based Expert Systems. 2015. IEEE Conference on Computational Intelligence in Games .
  • J.A.Brown and Q.Qu. Systems Considering Player Reputation with NPC Agents. 2015. Conference on Computational Intelligence in Games.
  • A.Kozlova, J.A.Brown, and E.Reading. Examination of Representational Expression in Maze Generation Algorithms. 532–533. 2015. Conference on Computational Intelligence in Games.
  • J.A.Brown. On Side Effect Machines as a Representation for Evolutionary Algorithms, In the Proceedings of the 2015. 8. 2015. Symposium on Bioinformatics and Computational Biology .
  • D. Ashlock, J.A.Brown, and P.Hingston. Multiple Opponent Optimization of Prisoner’s Dilemma Playing Agents. 2015. Transactions on Computational Intelligence and AI in Games .
  • A.Tremblay, J.Colangelo, and J.A.Brown. A Survey of Current Game Design Concepts Applied to Minecraft”. Chapter of Understanding Minecraft. 76–87. 2014. Nathan Garrelts Ed. McFarland & Company Press.
  • D.Ashlock, J.A.Brown, and C.Innes. An Evolvable Linear Representation for Simulating Government Policy in Zombie Outbreaks. 2014. Chapter of Mathematical Modeling of Zombies, Robert Smith.
  • J.A.Brown and T.Trowbridge. Deciphering Translating Translating Apollinaire. 50-52. 2014. Rampike.
  • J.B.Ernst and J.A.Brown. Performance evaluation of mixed-bias scheduling schemes for wireless mesh networks. 22-34. 2013. Int. J. of Space-Based and Situated Computing .
  • J.A.Brown. Examination of Graphs in Multiple Agent Genetic Networks for Iterated Prisoner’s Dilemma. 314-321. 2013. Conference on Computational Intelligence in Games .
  • J.A.Brown. Evolved Weapons for RPG Drop Systems. 259-260. 2013. Conference on Computational Intelligence in Games .
  • J.Hughes, J.A.Brown, S.Houghten, and D.Ashlock. Edit Metric Decoding : Representation Strikes Back. 229-236. 2013. Congress on Evolutionary Computation.
  • J.A.Brown. More Multiple Worlds Evolution for Motif Discovery. 168-175. 2013. Symposium on Bioinformatics and Computational Biology.
Евгений Зуев

Евгений Зуев

  • Доцент
  • Выпускник Факультета Вычислительной Математики и Кибернетики МГУ им. М. В. Ломоносова. Там же получил степень кандидата физико-математических наук (1999). Работал в оборонных научно-исследовательских центрах, в НИВЦ МГУ. Преподавал и проводил исследования в МГУ и в престижных технических университетах Европы — ETH Zurich (с 2000 по 2006 годы) и EPFL Lausanne (с 2009 по 2010 годы). Руководил несколькими успешными исследовательскими и промышленными проектами по разработке ПО: языки и системы имитационного моделирования, компиляторы С++ и Zonnon и др.

  • Program static analysis
  • Principles of Compiler’s APIs implementation
  • Compiler design and implementation
  • Programming Languages’ Semantics
  • E. Zouev. Rare Profession, Or How to Build a Compiler . DMK-Press. 2014. Moscow.
  • M.Odersky. Programming in Scala (2nd Edition). Artima. 2015.
  • E.Zouev. Semantic APIs for Programming Languages, 6th Central and Eastern European Software Engineering . Software Engineering Conference (CEE-SECR). 2010. Moscow, Russia.
Нестор Катано

Нестор Катано

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

Александр Климчик

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

  • Modeling, identification and control for industrial robots
  • Stiffness modeling of serial and parallel manipulators
  • Identification geometric and elastostatic parameters
  • Design of experiments for robot calibration
  • Compensation positioning errors using direct and indirect measurements
  • A. Pashkevich, A. Klimchik, D. Chablat. Enhanced stiffness modeling of manipulators with passive joints. Mechanism and Machine Theory. 662-679. May 2011.
  • A. Klimchik, A. Pashkevich, S. Caro, and D. Chablat. Stiffness matrix of manipulators with passive joints: computational aspects. IEEE Transactions on Robotics. 955-958. August 2012.
  • . Klimchik, A. Pashkevich, D. Chablat, G. Hovland. Compliance error compensation technique for parallel robots composed of non-perfect serial chains. Robotics and Computer-Integrated Manufacturing Journal. 385–393. April 2013.
  • A. Klimchik, A. Pashkevich, D. Chablat. CAD-based approach for identification of elasto-static parameters of robotic manipulators. Finite Elements in Analysis and Design. 19–30. November 2013.
  • A. Klimchik, D. Chablat, A. Pashkevich. Advanced stiffness modeling technique for perfect and non-perfect parallel manipulators under internal and external loadings. Mechanism and machine theory. 1-29. September 2014.
  • A. Klimchik, Y. Wu, S. Caro, B. Furet, A. Pashkevich. Geometric and elastostatic calibration of robotic manipulator using partial pose measurements. Advanced Robotics. 1419-1429. 2014.
  • A. Klimchik, S. Caro and A. Pashkevich. Optimal Poses Selection for Calibration of Planar Anthropomorphic Manipulators. Precision Engineering. 214-229. April 2015.
  • A. Klimchik, D. Chablat, A. Pashkevich. Static stability of manipulator configuration: influence of the external loading. European Journal of Mechanics - A/Solids. 193-203. May–June 2015.
  • A. Klimchik, B. Furet, S. Caro and A. Pashkevich. Identification of the manipulator stiffness model parameters in industrial environment. Mechanisms and Machine Theory. 1–22. August 2015.
  • A. Pashkevich, A. Klimchik, S. Caro, D. Chabla. Cartesian stiffness matrix of manipulators with passive joints: analytical approach. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011). 4034-4041.
  • A. Klimchik, A. Pashkevich, D. Chablat. Stiffness modeling of non-perfect parallel manipulators. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2012). 2781-2788. October 7-12, 2012. Vilamoura, Algarve, Portugal.
  • A. Klimchik, Y. Wu, C. Dumas, S. Caro, B. Furet and A. Pashkevich. Identification of geometrical and elastostatic parameters of heavy industrial robots. The 2013 IEEE International Conference on Robotics and Automation (ICRA 2013). 3707-3714. May 6 - 10, 2013. Karlsruhe, Germany .
  • Y. Wu, A. Klimchik, S. Caro, B. Furet, A. Pashkevich. Geometric calibration of industrial robots using enhanced partial pose measurements and design of experiments. Robotics and Computer Integrated-Manufacturing. 151-168. October 2015.
Джуёнг Ли

Джуёнг Ли

  • Доцент
  • Джу Йонг Ли получила степень PhD в Университете Сиракьюз (США). Имеет опыт работы в университетской среде и индустрии (JPMorgan, Sun Microsystems). Профессор Ли разрабатывает алгоритмы определения активности и репутации пользователей социальных сетей. Ее исследование фокусируется на репутации распределенных вычислений и оценке степени узлов в социальной сети. Была приглашенным ученым в Корейском институте науки и технологий (KAIST). Сегодня Джу Йонг Ли сотрудничает с Политехническим университетом Милана.

  • Reputation management
  • Bayesian game theory
  • Multi-agent systems
  • Social Network Analysis
  • Lee, J., Oh, J. . A Distributed Reputation Computation Algorithm for Social Networks. Chapter in Lecture Notes on Social Networks. 2014.
  • Lee, J., Oh, J.C. . A Model for Recursive Propagations of Reputations in Social Networks. 2013 International Conference on Advances in Social Networks Analysis and Mining. August 25.-28, 2013. Niagara Falls, Canada.
  • Lee, J., Oh, J. . Agent-Centric Second Degree Estimation within Social Networks. International Conference on Intelligent Agent Technology. 2014.
  • Lee, J., Oh, J.. Deriving Trust from Repeated Bayesian Reputation Game with Discounting. International Conference on Trust, Security and Privacy in Computing and Communications. 2014.
  • Lee, J., Oh, J.C. Estimating the degrees of neighboring nodes in online social networks . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 8861, Springer Verlag. 42-56. 2014.
  • Tigunova, A., Lee, J., Nobari, S.. Location Prediction via Social Contents and Behaviors: Location-aware Behavioral LDA. . In Proceedings of 2015 International Conference on Data Mining. .
  • Lee, J., Oh, J.C.. Convergence of True Cooperations in Bayesian Reputation Game. 2014. International Conference on Trust, Security and Privacy in Computing and Communications (TRUSTCOM).
  • Khairullina, A., Lee, J., Jang, G., Myaeng, S. . Observing Behaviors of Information Diffusion Models for Diverse Topics of Posts on VK. 2015. International Conference on Data Mining. .
  • Lee, J., Duan, Y., Oh, J.C., Du, W., Blair, H., Wang, L., and Jin, X. . Automatic Reputation Computation through Document Analysis: A Social Network Approach. International Conference on Advances in Social Networks Analysis and Mining (ASONAM).
Джу Йонг Ли

Джу Йонг Ли

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

Алан Роджерс

Алан Роджерс

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

     

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

 

Алан имеет большой опыт в области традиционной (водопадной) разработки и современной гибкой разработки ПО, а также распространённых по всему миру подходах к разработке ПО.  А.Роджерс успешно руководил мультикультурными группами разработчиков, занятых созданием производительных инновационных систем. Алан Роджерс руководил проектом по  реализации сотрудничества между Сколковским институтом технологий и Массачусетским технологическим университетом (MIT). Кроме того, он с энтузиазмом относится к идее создания новых университетов, специализирующихся на науке и технологиях.  А.Роджерс имеет опыт ведения научных исследований в области генетики и молекулярной биологии.

 

  • Облачные платформы
  • Гибкие методы разработки ПО
Афанасиос Василакос

Афанасиос Василакос

  • Руководитель Лаборатории сетей и кибербезопасности
  • Профессор
  • Профессор получил степень бакалавра электротехнических наук и компьютерной инженерии в Университете Демокрита во Фракии, Греция в 1983 году, степень магистра в области вычислительной техники - в Университете Массачусетса в 1986 году, и степень PhD в области компьютерной инженерии в  Университете г.Патры, Греция, в 1988 году.

    Он является соавтором ( W.Pedrycz) книг «Вычислительный интеллект в телекоммуникационных сетях» (CRC press, USA2001), "Ambient Intelligence", "Wireless Networking", "Ubiquitous Computing" (Artech House, USA, 2006) и соавтором (с M .Parashar, S.Karnouskos, W.Pedrycz) работы "Autonomic Communications" (IEEE Press, США), "Arts and Technologies".
    Профессором опубликованы более 130 статей в ведущих международных журналах и конференциях в области телекоммуникационных и вычислительных сетей, в области образования, технологий и искусства.
Адил Хан

Адил Хан

  • Доцент, руководитель Лаборатории машинного обучения и представления данных
  • Получил степень кандидата наук по компьютерной инженерии (Computer Engineering) в Kyung Hee University (Южная Корея). С 2011 года занимает должность профессора и ведущего исследователя на факультете информационных технологий и компьютерной инженерии в Университете Аджу (Южная Корея). В своих исследованиях Адил Хан фокусируется на машинном обучении, анализе и моделировании данных, контекстно-зависимых вычислениях, контекстном распознавании посредством носимых датчиков и датчиков изображения и человекоориентированных мобильных приложениях. А. Хан автор 30 международных научных публикаций, рецензор в IEEE, ACM, Elsevier и других научных журналах. Адил Хан вместе с коллегами руководит UbiLife Research Group и участвует в исследованиях Knowledge-Intensive Software Engineering Research Group в Университете Аджу.

  • Siddiqi, M.H, Ali, R., Khan, A.M., Park, Y.-T., Lee, S. Human Facial Expression Recognition Using Stepwise Linear Discriminant Analysis and Hidden Conditional Random Fields . Institute of Electrical and Electronics Engineers Inc.. 1386-1398. 2015.
  • Siddiqui, H. M., Lee, S.-W., and Khan, A. M.. Weed image classi_cation using wavelet transform, Stepwise Linear Discriminant Analysis, and Support Vector Machines for an automatic spray control system.. 2013.
  • Siddiqui, H. M., Khan, A. M., and Lee, S.-W.. Active Contours Level Set Based Still Human Body Segmentation from Depth Images for Video-based Activity Recognition. 2013.
  • Khan, A. M., Siddiqui, H. M., and Lee, S.-W.. Exploratory data analysis of acceleration signals to select light-weight and accurate features for real-time activity recognition on smartphones. 2013.
  • Siddiqui, H. M., Lee, S., Lee, Y.-K., Khan, A. M., and Truc, P.T.H.. Hierarchical Recognition Scheme for Human Facial Expression Recognition Systems.. 2013.
  • Saputri, T.R.D., Khan, A. M., and Lee, S.-W.. User Independent Activity Recognition via Three-Stage GA-Based Feature Selection.. 2014.
  • Khan, A. M., Khattak, A.M., and Laine, T. H.. Activity Recognition on Smartphones via Sensor-Fusion and KDA-Based SVMs..
  • Khattak, A.M., Akbar, N., Aazam, M., Ali, T., Khan, A. M., Jeon, S., Hwang, M., Lee, S., . Context Representation and Fusion: Advancements and Opportunities." .
Ярослав Холодов

Ярослав Холодов

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

Рашид Хуссейн

Рашид Хуссейн

  • Доцент, программа магистратуры «Разработка безопасных систем и сетей»
  • Рашид Хуссейн получил степень бакалавра в области программной инженерии в Университете инженерии и технологий (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), Нидерланды.

  • D. Kim, M. Nogueira, J. Son, Alade O. Tokuta, and Heekuck Oh. A New Privacy-aware Mutual Authentication Mechanism for Charging-on-the-Move in Online Electric Vehicles. IEEE International Conference on Mobile Ad-hoc and Sensor Networks (IEEE MSN 2015). December 16-18. Schenzhen, China.
  • Rasheed Hussain, S. Kim, and H. Oh. Traffic Information Dissemination System: Extending Cooperative Awareness among Smart Vehicles with Single-Hop Beacons in VANET. Wireless Personal Communications, Springer, DoI: 10.1007/s11277-015-3084-9..
  • D. Kim, Y. Velasco, X. Liu, W. Wang, Rasheed Hussain, R. N. Uma. Cost Effective Mobile and Static Road Side Unit Deployment for Vehicular Ad hoc Networks. IEEE International Conference on Computing, Networking, and Communications (ICNC 2016).
  • Rasheed Hussain, Z. Rezaeifar, and H. Oh. Secure and Privacy-aware Traffic Information as a Service in VANET-based Clouds. Secure and Privacy-aware Traffic Information as a Service in VANET-based Clouds.
  • Rasheed Hussain, D. Kim, A. O. Tokuta, H. Melikyan, and H. Oh. Covert Communication based Privacy Preservation in Mobile Vehicular Networks. IEEE Military Communications Conference (IEEE MilCom 2015), pp. 55-60, October 26-28, 2015, Tampa, Florida, USA.
  • J. Son, D. Kim, Rasheed Hussain, J. Seo, S. Kwon, and A. O. Tokuta. Privacy Aware Incentive Mechanism to Collect Mobile Data While Preventing Duplication. IEEE Military Communications Conference (MilCom 2015), pp. 1242-1247, October 26-28, 2015, Tampa, Florida, USA.
  • U. Rajput, F. Abbas, Rasheed Hussain, H. Eun, and H. Oh. A Two Level Privacy Preserving Pseudonymous Authentication Protocol for VANET. IEEE International Conference on Wireless and Mobile Computing, Network and Communications (WiMob 2015), pp. 643-650, 2015.
  • Rasheed Hussain, Z. Rezaeifar, and H. Oh, . A Paradigm Shift from Vehicular Ad Hoc Networks to VANET-Based Clouds. Wireless Personal Communications, Vol. 83, No. 2, pp. 1131-1158, 2015 DOI: 10.1007/s11277-015-2442-y.
  • Rasheed Hussain, Z. Rezaeifar, D. Kim, A. O. Tokuta, and H. Oh. On Secure, Privacy-aware, and Efficient Beacon Broadcasting among One-hop Neighbors in VANETs. IEEE Military Communication Conference (IEEE MilCom 2014), Baltimore, MD, USA [IEEE Student Travel Grant].
  • U. Rajput, F. Abbas, Rasheed Hussain, H. Eun, and H. Oh. A Simple Yet Efficient Approach to Combat Transaction Malleability in Bitcoin. The 15th International Workshop on Information Security Applications (WISA), 2014.
  • F. Abbas, U. Rajput, Rasheed Hussain, H. Eun, and H. Oh. A Trustless Broker Based Protocol to Discover Friends in Proximity-Based Mobile Social Network. The 15th International Workshop on Information Security Applications (WISA), 2014.
  • J. Son, Rasheed Hussain, H. Kim, and H. Oh. SC-DVR: A Secure Cloud Computing based Framework for DVR Service. IEEE Transactions on Consumer Electronics (TCE), Vol. 60, No. 3, pp. 368-374, 2014.
  • Rasheed Hussain, and H. Oh. Identity-Exchange based Privacy Privacy Preserving Mechanism in Vehicular Networks. Journal of the Korea Institute of Information Security and Cryptology (KIISC), Vol. xx, No. xx, 2014.
  • Rasheed Hussain, and H. Oh. A Secure and Privacy-Aware Route Tracing and Revocation Mechanism in VANET-based Clouds. Journal of the Korea Institute of Information Security and Cryptology (KIISC), Vol. xx, No. xx, 2014.
  • J. Son, D. Kim, Rasheed Hussain, and H. Oh. Conditional Proxy Re-Encryption for Secure Big Data Group Sharing in Cloud Environment. IEEE INFOCOM 2014 Workshop on Security and Privacy in Big Data.
  • J. Lee, J. Son, Rasheed Hussain, and H. Oh. Media Cloud: A Secure and Efficient Virtualization Framework for Media Service. IEEE ICCE 2014, pp. 83-84, Jan. 2014.
  • H. Kim, J. Son, Rasheed Hussain, and H. Oh. C-DVR: Secure Cloud Based DVR Framework Based on Personal Virtualization. IEEE ICCE 2014, pp. 566-567, Jan. 2014.
  • Rasheed Hussain and H. Oh. On Secure and Privacy-Aware Sybil Attack Detection in Vehicular Communications. Wireless Personal Communications, Vol. 77, No. 4, pp. 2649-2673, 2014.
  • Rasheed Hussain, F. Abbas, J. Son, S. Kim, and H. Oh. Using Buses as Mobile Gateways in Vehicular Clouds. 32nd IEEE International Conference on Consumer Electronics (IEEE ICCE 2014), pp. 175-176 January 2014, Las Vegas, United States.
  • F. Abbas, Rasheed Hussain, J. Son, and H. Oh. Privacy Preserving Cloud-based Computing Platform (PPCCP) for using Location Based Service. IEEE/ACM International Conference Utility and Cloud Computing (IEEE/ACM UCC 2013), pp. 60-66, December 2013, Dresden, Germany.
  • F. Abbas, Rasheed Hussain, J. Son, H. Eun, and H. Oh. Towards Achieving Anonymity in LBS: A Cloud Based Untrusted Middleware. 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), pp. 262-265, December, Bristol, United Kingdom.
  • Rasheed Hussain, F. Abbas, J. Son, D. Kim, S. Kim, and H. Oh. Vehicle Witnesses as a Service: Leveraging Vehicles as Witnesses on the Road in VANET Clouds. 5th IEEE International Conference on Cloud Computing Technology and Science(IEEE CloudCom 2013), pp. 439-444, December 2013, Bristol, United Kingdom.
  • Rasheed Hussain and H. Oh. Cooperation-Aware VANET Clouds: Providing Secure Cloud Services to Vehicular Ad Hoc Networks. Journal of Information Processing Systems (JIPS), Vol. 10, No. 1, pp. 103-118, 2013.
  • Rasheed Hussain, F. Abbas, J. Son, H. Eun, and H. Oh. Privacy-Aware Route Tracing and Revocation Games in VANET-based Clouds. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob 2013), October, Lyon, France.
  • F. Abbas, Rasheed Hussain, J. Son, H. Eun, and H. Oh. A Scheme for using Location Based Services Anonymously in Mobile Cloud Computing. Proc. International Conferenc on Computer Applications and Information Processing Technology (CAIPT), Czech Republic, 2013.
  • Rasheed Hussain, F. Abbas, J. Son, and H. Oh. On Hybrid Re-Broadcasting Techniques in Vehicular Ad Hoc NETworks. 39th Korean Information Processing Society (KIPS) Conference, Busan, May 2013, South Korea (Excellent Paper Award).
  • Rasheed Hussain, F. Abbas, J. Son, and H. Oh. TIaaS: Secure Cloud-assisted Traffic Information Dissemination in Vehicular Ad Hoc NETworks. IEEE/ACM International Symposium on Clusters, Cloud and Grid Computing (IEEE/ACM CCGrid 2013), pp. 178-179, Delft, Netherlands.
  • Rasheed Hussain, J. Son, H. Eun, S. Kim, and H. Oh. Traffic Information System: A Lightweight Geocast-based Piggybacking Strategy for Cooperative Awareness in VANET. IEEE ICCE 2013, pp. 616–617, Jan. 2013.
  • Rasheed Hussain, S. Kim, and H. Oh. AntiSybil: Standing Against Sybil Attacks in Privacy-Preserved VANET. IEEE International Conference on Connected Vehicles & Expo 2012, Dec. 2012.
  • Rasheed Hussain, Junggab Son, Hasoo Eun, Sangjin Kim, and Heekuck Oh. Rethinking Vehicular Communications: Merging VANET with Cloud Computing. IEEE CloudCom 2012, pp. 606-609, Dec. 2012.
  • Rasheed Hussain, S. Kim, and H. Oh. Privacy-Aware VANET Security: Putting Data-Centric Misbehavior and Sybil Attack Detection Schemes into Practice. WISA 2012, Lecture Notes in Computer Science, Vol. 7690, Springer-Verlag, pp 296-311, 2012.
  • Rasheed Hussain, S. Kim, and H. Oh. Towards Privacy Aware Pseudonymless Strategy for Avoiding Profile Generation in VANET. WISA 2009, Lecture Notes in Computer Science, Vol. 5932, Springer-Verlag, pp. 268-280, Aug. 2009..
Николай Шилов

Николай Шилов

  • Доцент
  • Николай Шилов закончил Механико-математический факультет Новосибирского государственного университета в 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 (Южная Корея).

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

  • . Engaging Students with Theory through ACM Collegiate Programming Contests. Communications of ACM, v.45, n.9, 2002 (with Yi K.).
  • . Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundameta Informaticae, v.72, n.1-3, 2006, p.347-361 (with Garanina N. O. and Choe K.-M.).
  • . Generation of verification conditions for imperative programs. Programming and Computer Software, v.34, n.6, 2008, p.307–321. (with Anureev I.S. and Bodin E.V.).
  • . Verification of Backtracking and Branch and Bound Design Templates. Automatic Control and Computer Sciences, v.46, n.7, 2012, p.402–409..
  • . Some Results on Multiagent Algorithms in Social Computing/Software Context. Information, v.17, n.1, 2014, p.229-240 (with Satykbayeva A.).
  • . Teaching Formal Models of Concurrency Specification and Analysis. Modeling and Analysis of Information Systems, v.22, n.6, p.783-794..
  • . Program Schemata Technique for Propositional Program Logics: A 30-Year History. Programming and Computer Software, v.42, n.4, 2016, p. 239–256. (with S.O. Shilova and A.Yu. Bernstain).
Виктор Ривера

Виктор Ривера

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

Анджело Мессина

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

В центре внимания

Сайт находится в технической разработке