+7 (843) 203-92-53
university@innopolis.ru
Об университете
Преподавательский состав
Джанкарло Суччи

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

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

Дэвид Вернон

  • Приглашенный профессор
  • Профессор информатики из исследовательского центра Университета Сковдэ (Швеция), координатор Европейского сообщества развития систем искусственного интеллекта. Преподавал в Университете Генуи и Trinity College (Дублин). Профессор Вернон работал в Европейской Комиссии и Научном обществе Ирландии. Является членом исполнительных комитетов нескольких международных конференций: ACM/IEEE HRI, ICCS, ICCV, ECCV, ICPR, ECAI, ICVS, ICDL, IMVIP, OESI, CSNLP, и IROS. Дэвид Вернон работает над дизайном когнитивной архитектурой для человекоподобного робота iCub, используя направление когнитивного развития. Автор нескольких книг по теории компьютерного зрения, опубликовал 80 работ о системах компьютерного распознавания, робототехнике и искусственном интеллекте.
  • Robotics
  • Artificial Intelligence
  • Cognitive Systems
  • Computer Vision
  • D. Vernon. Cognitive System. Computer Vision: A Reference Guide, . 2014.
  • D. Vernon. Artificial Cognitive Systems - A Primer. MIT Press. 2014.
  • D. Vernon. Visual Cognition. Computer Vision: A Reference Guide. 2014.
  • D. Vernon. Goal-directed Action and Eligible Forms of Embodiment. Open Peer Commentary, Constructivist Foundations. 2013.
  • D. Vernon. Interpreting Ashby - But which One?. Open Peer Commentary, Constructivist Foundations. 2013.
Алеш Живкович

Алеш Живкович

  • Профессор
  • Доцент Университета Марибора в Словении, в том же университете получил Phd в области информационных технологий (2005). Его исследования охватывают ПО с акцентом на UML, программные процессы, платформу Java и метрики ПО. Сфера научных интересов связана с решением проблемы функциональных измерений и качеством программного обеспечения с возможностью автоматической оценки и обнаружения ошибок. За 20 лет карьеры в области ИТ Алеш прошел путь от участника группы развития до консультанта и руководителя международного проекта. Алеш автор 100 публикаций в IT-журналах и материалах научных конференций.

  • Software metrics
  • Information security and privacy
  • Software size and effort estimation
  • Software testing
  • Software development methods
  • Project management
  • Business processes and their optimization
  • IT audits
  • IT governance
Евгений Зуев

Евгений Зуев

  • Доцент
  • Выпускник Факультета Вычислительной Математики и Кибернетики МГУ им. М. В. Ломоносова. Там же получил степень кандидата физико-математических наук (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.
Мохамад Кассаб

Мохамад Кассаб

  • Доцент
  • Доцент университета Пенстэйт в Пенсильвании (Pennsylvania State University). Получил степень магистра (2005) и PhD (2009) в Университете Конкордия по специальности Computer Science. Сфера научных интересов включает: дизайн операционных систем, объектно-ориентированное проектирование и архитектуру программного обеспечения.

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

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

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

Бертран Мейер

  • Руководитель Лабораторией программной инженерии
  • В 1974 году окончил Политехническую школу (Ecole Polytechnic) в Париже, в этом же году получил степень магистра по Computer Science в Стэнфордском университете. Следующие 9 лет проработал инженером-исследователем. В 1978 году Бертран Мейер издал в соавторстве книгу «Методы программирования», переведенную в 1982 году на русский язык под редакцией Андрея Петровича Ершова. В 1985 получил степень доктора в университете Анри Пуанкаре (Нанси). Затем он возглавил отдел программных разработок в Électricité de France. С 1983 по 1986 был приглашенным профессором в университете Калифорнии (Санта-Барбара). С 2011 года профессор Мейер работал заведующим кафедры «Программная инженерия и верификация программ» в Санкт-Петербургском Государственном Университете Информационных Технологий, Механики и Оптики. С 2014 года Бертран Мейер — заведующий Лабораторией программной инженерии и верификации программ в Университете Иннополис.

  • Параллелизм
  • Постоянство и развитие
  • Объектно-ориентированное программирование
  • Языковая проектировка и его прогресс
  • Архитектура ПО
  • Модельная верификация и временная логика
  • Сервисно-ориентированное программирование
  • Микросервисы
  • Tool & method support for distributed development (CloudStudio project)
  • Programming education: novel pedagogical approaches
  • Languages & methodology: new programming language constructs, software process, agile methods
  • Empirical software engineering
  • O-O persistence
  • Software engineering for robotics
  • Concurrent programming: building concurrent applications simply & safely through the SCOOP extension to Eiffel
  • Program verification: on the basis of Eiffel's Design by Contract and the EiffelStudio IDE, buiding an environment allowing "Verification As a Matter Of Course"
  • B. Meyer. Agile! The Good, the Hype and the Ugly. Springer-Verlag. 2014.
  • B. Meyer, A. Rusakov and J. Shin. Simple Concurrency for Robotics with the Roboscoop Framework. IROS 2014 (IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, 14-18 September 2014, IEEE Computer Press). 2014.
  • B. Meyer, H-C. Estler, M. Nordio and C.A. Furia. Awareness and Merge Conflicts in Distributed Software Development. Proceedings of ICGSE 2014, 9th International Conference on Global Software Engineering, IEEE Computer Society Press (best paper award). 2014. Shanghai.
  • B. Meyer, M. Piccioni, H-C. Estler. SPOC-supported introduction to Programming. Proceedings of ITiCSE 2014, 9th Annual Conference on Innovation and Technology in Computer Science Education. 2014. Uppsala, Sweden.
  • B.Meyer, B. Morandi and S. Nanzto. Safe and Efficient Data Sharing for Message-Passing Concurrency. Proceedings of COORDINATION 2014, 16th International Conference on Coordination Models and Languages. 2014. Berlin.
  • B. Meyer, H-C. Estler, C.A. Furia, M. Nordio, M. Piccioni. Contracts in Practice. Proceedings of 19th International Symposium on Formal Methods (FM 2014). 2014. Singapore.
  • B. Meyer, N. Polikarpova, J. Tschannen, C.A. Furiato. Flexible Invariants Through Semantic Collaboration. Proceedings of 19th International Symposium on Formal Methods (FM 2014). 2014. Singapore.
  • B. Meyer, A. Kogtenkov. Negative Variables and the Essence of Object-Oriented Programming, in Specification, Algebra, and Software. Lecture Notes in Computer Science, vol. 8373. 171-187. 2014. Kanazawa, Japan.
  • B. Meyer, C. Furia and S. Velder. Loop invariants: Analysis, Classification and Examples. ACM Computing Surveys, vol. 46, no. 3. 2014.
  • B. Meyer, A. Kogtenkov, S. Velder. Alias Calculus, Frame Calculus and Frame Inference. Science of Computer Programming. 2014.
Алан Роджерс

Алан Роджерс

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

     

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

 

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

 

  • Облачные платформы
  • Гибкие методы разработки ПО
Aдил Мехмуд Хан

Aдил Мехмуд Хан

  • Доцент, руководитель Лаборатории машинного обучения и представления данных
  • Получил степень кандидата наук по компьютерной инженерии (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..
Цюй Цян

Цюй Цян

  • Руководитель Лаборатории больших данных и информационных систем
  • Выпускник Пекинского университета со степенью магистра по компьютерным наукам. Цюй Цян получил кандидатскую степень в области компьютерных наук в Орхусском Университете (Дания). С 2013 по 2014 годы работал приглашённым исследователем (Visiting Researcher) в Университете Карнеги-Меллон. С 2007 по 2008 годы работал в IT-индустрии (IBM China Research Lab). Опубликовал несколько научных работ в области компьютерных наук.
  • Social Network Analysis
  • Mobile and Sensor Data
  • Data Mining
  • Spatial Data Management
  • Qiang Qu, Siyuan Liu, Bin Yang, Christian S. Jensen. Efficient Top-k Spatial Locality Search for Co-located Spatial Web Objects. 2014.
  • Qiang Qu, Siyuan Liu, Christian S. Jensen, Feida Zhu, Christos Faloutsos. Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. 2014.
  • Qiang Qu, Siyuan Liu, Bin Yang, Christian S. Jensen. : Integrating non-spatial preferences into spatial location queries. 2014.
  • Biying Tan, Feida Zhu, Qiang Qu, Siyuan Liu. Online Community Transition Detection. WAIM. 2014.
  • Feida Zhu, Zequn Zhang, Qiang Qu. A direct mining approach to efficient constrained graph pattern discovery. SIGMOD Conference. 2013.
  • Xin Cao, Lisi Chen, Gao Cong, Christian S. Jensen, Qiang Qu, Anders Skovsgaard, Dingming Wu, Man Lung Yiu. Spatial Keyword Querying. ER. 2012.
Николай Шилов

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

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

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

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