About
Academic staff
Giancarlo Succi

Giancarlo Succi

  • PhD (Univ. of Genova, Italy), PEng
  • Professor
  • Dean, Faculty of Computer Science and Software Engineering
  • Head, Laboratory for Improving the Production of Software
  • Giancarlo Succi holds a Laurea Degree in Electrical Engineering from the University of Genova, an M.Sc. in Computer Science from the State University of New York at Buffalo, and a PhD in Computer and Electrical Engineering again from the University of Genoa, Italy (December 1993). He has passed the habilitation certification as professional engineering both in Italy and in Canada and he has consulted for several organizations worldwide. He has been a Professor at the Free University of Bolzano-Bozen, Italy, University of Alberta, Edmonton, Canada, University of Calgary, Canada holding also various administrative positions. 

Giancarlo Succi has taught a variety of academic and industrial courses throughout his career in Software Engineering, Programming Languages, and Mobile, Distributed, and Centralized Operating Systems. He has organized various international conferences and other scientific and educational events. His research interests are in empirical software engineering, open source, mobile and energy aware systems, software reuse, and software product lines.

He is the author of 5 and editor of 12 books and over than 370 publications.

Nikolaos Mavridis

Nikolaos Mavridis

  • PhD (MIT, USA), PEng
  • Professor
  • Director, Institute of Robotics
  • Head, Lab of Cognitive Robotics Systems
  • Nikolaos Mavridis received his PhD from MIT in 2007, and has served as Associate Professor at United Arab Emirates University (UAEU) and New York University Abu Dhabi (NYU AD), and a researcher at National Center for Scientific Research Demokritos. He is the founder of the Interactive Robots and Media Lab (IRML), which has received publicity for the "Ibn Sina" arabic-language realistic android robot, as well as the "FaceBots" social robots. His past work also includes "Ripley", a conversational robot with sensory-motor-linguistics abilities, comparable with those assessed by the "Token Test for children". He is the author of more than 50 peer-reviewed publications with more than 600 citations, as well as the founder of the IEEE UAE Robotics and Automation Society, the vice-president of the Hellenic Artificial Intelligence Association (EETN), and a member of the EU Cognitive Systems group. He serves as a reviewer in numerous academic journals and conferences, and has been a TEDx speaker four times.
Alberto Sillitti

Alberto Sillitti

  • PhD (Univ. of Genova, Italy), PEng
  • Professor
  • Director, Institute of Information Systems
  • Head, Lab of Cyber-Physical Systems
  • Alberto Sillitti is Full Professor at the Innopolis University (Russian Federation) where he manages the Cyber-Physical Systems Lab. He holds a PhD in Electronics and Computer Engineering received from the University of Genoa (Italy) in 2005. His research areas focus on mobile and energy-aware software development and quality for cyber-physical system.  

Alberto Sillitti holds a PhD in Electronics and Computer Engineering received from the University of Genoa (Italy) in 2005. From 2005 to 2010 he has been Assistant Professor, from 2010 to 2015 Associate Professor. In 2015, he has received the habilitation as Full Professor. He has been involved in several projects related to Open Source Software, Agile Methods, and Cyber-Physical Systems in which he applies non-invasive measurement approaches. He has served as member of the program committee of several international conferences and as program chair of OSS 2007, XP 2010, XP2011, SEDA 2012, SEDA 2013, SEDA 2014. His research areas include open source development, agile methods, empirical software engineering, software quality, cyber-physical systems, mobile and web services. Recently, he has focused on mobile and energy-aware software development and quality for cyber-physical system. He is author of more than 150 papers published in international conferences and journals and 2 books.

  • Empirical Software Engineering
  • Software Quality
  • Cyber-Physical Systems
  • Open Source
  • Agile Methods
Manuel Mazzara

Manuel Mazzara

  • PhD (Univ. of Bologna, Italy)
  • Associate Professor
  • Director, Institute of Technologies and Software Development
  • Head, Lab of Service Science and Engineering
  • Manuel Mazzara achieved his Masters in 2002 and his Ph.D in 2006 at the University of Bologna. During 2000 he was a Technical Assistant at Computer Science Laboratories (Bologna, Italy). In 2003 he worked as Software Engineer at Microsoft (Redmond, USA). In 2004 and 2005 he worked as a free lance consultant and teacher in Italy.
In 2006 Manuel Mazzara was an assistant professor at the University of Bolzano (Italy) and in 2007 a researcher and project manager at the Technical University of Vienna (Austria).

From 2008 to 2012 Manuel worked in Newcastle University on the DEPLOY project. This project involved several partners Europe-wide with 4 of them coming from the most varied industrial scenarios: Bosch, Siemens, SAP and Space Finland. The objective was deploying software engineering techniques into the industrial process to guarantee stronger products reliability.

In 2012 Manuel also served as a Computer Scientist at UNU-IIST in Macao while still being with Newcastle as a Visiting Researcher. Manuel worked on the automatization of the immunization process for third world countries and on e-health and sustainability projects related to the UN “Agenda 21”. In 2013/14 he also worked on remote assistance and telemedicine domotics tools with Polytechnic of Milan and as a teaching fellow at the same university before joining Innopolis and visiting ETH.
  • Temporal Logic: Model checking and verification of self-* systems
  • E-health: Software engineering for global health, immunization support, telemedicine, remote assistance
  • Dynamic Reconfiguration: Modeling and verification of reconfigurable workflows, security aspects
  • Trust and Social Networks: Trust Ranking, Algorithms
  • Dependability : Dependable systems, Software Reliability Theory
  • Concurrency : small Mobile Process Calculi, Rely/guarantee reasoning
  • 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
  • Methods: Methods for Deriving Specifications, Agile Methods and Extreme Programming
  • Software Engineering: Software Metrics, Component-based development, Software Environments for Costs Detec- tion, Quality Improvement in Enterprises
  • Requirements: Problem Frames approach
  • BPM: Business Processes, Business to Business Integration, Long Running Transactions for B2B
  • Standard Data types for pilike Calculi,XML Data Types for the picalculus,Query Languages for Semistructured Data
  • 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.
  • Mazzara M.. LTL-based verification of reconfigurable workflows. Applied Mathematical Sciences, Volume 8, Hikari Ltd.. 8581-8600. 2014.
  • Leonard Johard
  • Larisa Safina
Ilya Afanasyev

Ilya Afanasyev

  • PhD (Vavilov State Optical Univ., Russia), PEng
  • Assistant Professor
  • Institute of Robotics
  • Ilya Afanasyev graduated in Engineering at Baltic State Technical University (St. Petersburg, Russia) in 2000 and obtained his Ph.D. in Technical Science at Vavilov State Optical Institute (St. Petersburg, Russia) in 2006. In 2010-2013 he worked as a Marie Curie postdoc in Mechatronics Lab. at the University of Trento (Italy), conducting research on 3D sensors and data processing algorithms, co-supervising and teaching master students. He has also been engaged in national and international hardware projects both for academy and industry in the region of sensor applications for aerospace, banking, robotics and oilfield service.

His main research interests have revolved around sensors, data acquisition and processing, paying the attention to instrument development for R&D projects and industrial applications. He published 34 papers.

He has academical experience at Vavilov State Optical Institute (2000-2007), the University of Trento (2010-2013) and TGT educational center “Prime College” (2013-2014), integrating research and supervising students, interns & employees of different nations, lecturing the courses on sensor/tool technologies and applications.

He worked also in industry: (1) as a senior engineer in German company “Giesecke & Devrient GmbH” (2007-2010), developing banknote processing sensors and algorithms, and (2) as a head of Spectral Noise Logging dep. in Kazan office of the emirate company “TGT Oilfield Service” (2013-2015), improving acoustic borehole technology for Well Completion Integrity and Reservoir Flow Analysis, managing people, products & projects (hardware & software).


Joseph Brown

Joseph Brown

  • PhD (Univ. of Guelph, Canada)
  • Assistant Professor
  • Institute of Information Systems
  • Head, Lab of Artificial Intelligence in Game Development
  • Joseph Alexander Brown obtained his Ph.D. in Computer Science from the University of Guelph, Ontario. He did both his M.Sc. and B.Sc. (Hons) at Brock University, St. Catharines, Ontario. He has worked for Magna International, the third largest automotive parts manufacturer in the world. He also holds an adjunct professorship at Brock University in the Department of Computer Science.

His research interests include biologically inspired computational intelligence, machine learning, game theory, and games design. He has over twenty-five peer-reviewed publications and acts on a number of conference committees for the IEEE.

  • Computational intelligence
  • Game theory
  • Games design
  • Machine learning
  • D. Ashlock, J.A. Brown, and P. Hingston. Multiple Opponent Optimization of Prisoner’s Dilemma. Playing Agents. IEEE Transactions on Computational Inteligence and AI in Games, In Press..
  • J.B. Ernst, and J.A. Brown. Performance evaluation of mixed-bias scheduling schemes for wireless mesh networks. Int. J. of Space-Based and Situated Computing (IJSSC) 3(1). 22-34. 2013.
  • T. Trowbridge, and J.A. Brown. Sixteen Lilypads: An After Action Report. Rampike 21(2). 14-17. 2012.
  • D. Ashlock, S.K. Hougthen, J.A. Brown, and J. Orth. On the Synthesis of DNA Error Correcting Codes. BioSystems, 110(1). 1-8. 2012.
  • J.A. Brown. Examination of Graphs in Multiple Agent Genetic Networks for Iterated Prisoner’s Dilemma. IEEE Conference on Computational Intelligence in Games 2013 (CIG). 314-321. 2013.
  • J.A. Brown. Evolved Weapons for RPG Drop Systems. IEEE Conference on Computational Intelligence in Games 2013 (CIG). 259-260. 2013.
  • J. Hughes, J.A. Brown, S. Houghten, and D. Ashlock. Edit Metric Decoding : Representation Strikes Back. IEEE Congress on Evolutionary Computation. 229-236. 2013.
  • J.A. Brown. More Multiple Worlds Evolution for Motif Discovery. In the Proceedings of the 2013. IEEE Symposium on Bioinformatics and Computational Biology. 168-175. 2013.
  • J.A. Brown, and T. Trowbridge. Using Poetry as a Teaching tool for the Humanities to Learn Computer Science Concepts. In Proceedings of the C* Conference on Computer Science and Engineering 2012 (C3S2E12), pp. 45-52, 2012.. 2012.
  • V. Valtchanov, and J.A. Brown. Evolving Dungeon Crawler Levels With Relative Placement. In Proceedings of the C* Conference on Computer Science and Engineering 2012 (C3S2E12). pp. 27-35. 2012.
  • J.A. Brown. Multiple Worlds Evolution for Motif Discovery. In the Proceedings of the 2012 IEEE. Symposium on Bioinformatics and Computational Biology. 92-99. 2012.
  • J.B. Ernst, and J.A.Brown. Co-existence of Evolutionary Mixed-Bias Scheduling with Quiescence and IEEE 802.11 DCF for Wireless Mesh Networks. In Proceedings of the 2012 26th International. Conference on Advanced Information Networking and Applications Workshops (AINA 2012). 678-683. 2012.
  • J.B. Ernst, and J.A. Brown. An Online Evolutionary Programming Method for the Parameters of Wireless Networks. In Proceedings of the 2011 International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA). 516-520. 2011.
  • J.A. Brown, D. Ashlock, S. Houghten, and J. Orth. Autogeneration of Fractal Photographic Mosaic Images. In Proceedings of the 2011 IEEE Congress on Evolutionary Computation. 1116-1123. 2011.
  • D. Ashlock, and J.A. Brown. Fitness Functions for Searching the Mandelbrot Set. In Proceedings of the 2011 IEEE Congress on Evolutionary Computation. 1108-1115. 2011.
  • J.A. Brown, and T. Trowbridge. Finding the Punchline: On Applications of Graph Theory and Combinatorics to Canadian ’Paraphysical Poetry. In Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering 2011. 38-41. 2011.
  • J.A. Brown, and D. Ashlock. Domination in Iterated Prisoner’s Dilemma. In Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering 2011. 1125-1128. 2011.
  • J.A.Brown. Multiple Agent Genetic Networks for Iterated Prisoner’s Dilemma. In Proceedings of the 2011 IEEE Symposium on Foundations of Computational Intelligence. 7-14. 2011.
  • J.A. Brown, and D. Ashlock. Using Evolvable Regressors to Partition Data. Intelligent Engineering Systems Through Artificial Neural Networks(20). 187-194. 2010.
  • D. Ashlock, J.A. Brown, and S.M. Corns. K-models Clustering, a Generalization of K-means Clustering. Intelligent Engineering Systems Through Artificial Neural Networks(20). 485-492. 2010.
  • J.A. Brown, S.K. Hougthen, and D. Ashlock. Side Effect Machines for Quaternary Edit Metric Decoding. In the Proceedings of the 2010 IEEE Symposium on Bioinformatics and Computational Biology. 103-110. 2010.
  • J.A. Brown, T. Trowbridge, and J. Szab´o. The Poetic Metrics of bpNichol. In the Proceedings of the TIC-STH Symposium on Emerging Scientific Methods and Technologies. 933-938. 2009.
  • J.A. Brown, S.K. Houghten, and D.A. Ashlock. Edit Metric Decoding: A New Hope. In the Proceedings of Canadian Conference on Computer Science and Engineering 2009 (C3S2E09). 233-242. 2009.
  • J.A. Brown, S. Houghten, and B. Ombuki-Berman. Genetic Algorithm Cryptanalysis of a Substitution Permutation Network. In the Proceedings of the 2009 IEEE Symposium on Computational Intelligence in Cyber Security. 115-121. 2009.
  • A. Tremblay, J. Colangelo, J.A. Brown. The Craft of Data Mining: A Survey of Current Game Design Concepts Applied to Minecraft. Chapter of Minecraft Essay Collection, Nathan Garrelts Ed. McFarland & Company Press. 76-87. 2014.
  • D. Ashlock, J.A. Brown, and C. Innes. An Evolvable Linear Representation for Simulating Government Policy in Zombie Outbreaks. Chapter of Mathematical Modeling of Zombies, Robert Smith. 2014.
Nestor Catano

Nestor Catano

  • PhD (Univ. of Paris-Diderot, France)
  • Associate Professor
  • Institute of Technologies and Software Development
  • Lab of Software Engineering
  • Computer Scientist, a Formal Methods Researcher and a Lecturer in Software Engineering and Formal Methods. He earned a Master’s degree and a PhD degree in Computer Science from the University Paris 7 and INRIA Sophia Antipolis, in France. He is currently an Associate Professor in Computer Science and Software Engineering at Innopolis University, Tatarstan, Russian Federation.

    Previously, he was a Lecturer at the University of Madeira, Portugal, and University of Los Andes, EAFIT, and Javeriana in Colombia. He has been an invited professor to CMU in Pittsburgh in 2011 and in 2015. 

He is the main designer and co-implementer of the EventB2Java Java code generator for Event-B. EventB2Java is implemented as a Rodin plug-in. He also designed and implemented sibling tools EventB2Jml and B2Jml. These tools are implemented in Java as plug-ins of Eclipse and ABToools respectively. In 2011, he received research funding from the SEIF (Software Engineering Innovation Foundation) research program of Microsoft Research to port Event-B refinement proof obligations into Dafny and Boogie. As a result of this work, he designed and implemented the EventB2Dafny tool. Previously, he designed and implemented the Chase tool, a static checker of JML’s modifiable clause that checks Java programs for side effects. He has been the project coordinator of several European national Research Projects on Formal Methods, Concurrency, and Software Engineering.

Rasheed Hussain

Rasheed Hussain

  • PhD (Hanyang Univ., South Korea), PEng
  • Assistant Professor
  • Institute of Information Systems
  • Dr. Rasheed Hussain received his B.S. in Computer Software Engineering from N-W.F.P University of Engineering and Technology, Peshawar, Pakistan in 2007, MS degree in Computer Engineering from Hanyang University, South Korea in 2010, and Ph.D. degree in Computer Engineering from South Korea in February 2015. He also worked as a Postdoctoral Research Fellow in Hanyang University South Korea from March 2015 till August 2015. 

He has been appointed as Assistant Professor at Innopolis University, Russia and currently he is working as a consultant for Innopolis University and a Guest Researcher in University of Amsterdam, Netherlands. The aim of his consultancy is to closely observe the System and Network Engineering (SNE) program at UvA, which will be started at Innopolis University from Fall semester 2016/17.

Dr. Hussain is a research-oriented person and he aims to work in both academia and research with the partners at UvA research group to produce noteworthy results.  

Dr. Hussain’s main research interests include information security and privacy, applied cryptography, security and privacy issues in Vehicular Ad hoc NETwork (VANET), Cloud Computing (CC), VANET clouds, applications and services in VANET, secure and privacy-aware information dissemination in VANET, location-based services, smart grid security, Internet of Things (IoT), Big data security, wireless charging for electric vehicles, mobile social networks, and so forth. He has authored and co-authored about 45 papers in renowned national and international journals and conferences. His papers also won best paper awards several times. Moreover, he serves as reviewer for many journals from IEEE, Springer, Elsevier, and IET that include IEEE Sensors Journal, IEEE TVT, IEEE T-ITS, IEEE TIE, IEEE Comm. Magazine, Elsevier ADHOC, Elsevier JPDC, Elsevier VehCom, Springer WIRE, Springer JNSM, and many more. He also served as reviewer for renowned international conferences of repute including IEEE INFOCOM, IEEE GLOBECOM, IEEE VNC, IEEE ICC, IEEE PCCC, IEEE NoF, and so forth.

Professional Webpage: https://sites.google.com/site/rasheedinfosec/

  • Information Security and Privacy
  • Pure and applied Cryptography
  • Security and Privacy Issues in Vehicular Ad hoc NETwork (VANET)
  • Vehicular Social Networks (VSN)
  • Cloud Computing and Mobile Cloud Computing
  • Internet of Things (IoT)
  • VANET-based Clouds
  • Content-Centric Networking
  • Smart Grid Security
  • Mobile Social Networks
  • Electric Vehicles
  • 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).
  • 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, 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..
Adil Khan

Adil Khan

  • PhD (Kyung Hee Univ., South Korea)
  • Associate Professor
  • Associate Dean (Teaching)
  • Institute of Robotics
  • Head, Lab of Machine Learning and Knowledge Representation
  • Dr. Adil Khan is a Professor of Computer Science in the School of Information and Computer Engineering, Ajou University, South Korea. He received his Ph.D. in Computer Engineering from Kyung Hee University, South Korea. He has over 8 years of experience in academic research and teaching. His primary research interests include machine learning, data analytics, data modeling, context-aware computing, context recognition by means of wearable and vision sensors, and human-aware mobile application development. His research work, comprising over 30 articles, is published in various international conferences and journals. He is also a reviewer for various IEEE, ACM, Elsevier and other international journals.

Dr. Khan has contributed to various research projects: Context-Aware Middleware System for Ubiquitous Systems (funded by Ministry of Commerce, Industry, and Energy, Korea), Ontology-based text Mining for eHealth Data (funded by Microsoft Research Asia), East-West Neo Medical u-Life Care IT Research Center (funded by Ministry of Knowledge Economy, Korea), and Mining Minds Core Technology Exploiting Personal Big Data (funded by Ministry of Trade, Industry and Energy, Korea).

He is also assisting a Korean company in designing lightweight machine learning algorithms for their power-efficient low-cost physical activity trackers.

He is the co-leader of the UbiLife Research Group and a member of the Knowledge-intensive Software Engineering Research Group at Ajou University.    

 
  • Machine learning
  • Data analytics
  • Data modeling
  • Context-aware computing
  • Context recognition by means of wearable and vision sensors
  • Human-aware mobile application development
  • Computational intelligence
  • 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." .
  • Khan, A. M., Khattak, A.M., and Laine, T. H.. Activity Recognition on Smartphones via Sensor-Fusion and KDA-Based SVMs..
  • Saputri, T.R.D., Khan, A. M., and Lee, S.-W.. User Independent Activity Recognition via Three-Stage GA-Based Feature Selection.. 2014.
  • 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.
  • 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., 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.
  • 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.
  • 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.
Yaroslav Kholodov

Yaroslav Kholodov

  • PhD (MIPT, Russia)
  • Assistant Professor
  • Associate Dean (Research)
  • Head, Lab of Intelligent Transportation Systems
  • From 2001 Yaroslav Kholodov had been a senior lecturer at the Department of Computational Mathematics of the Moscow Institute of Physics and Technology (MIPT). In 2007, he became an Associate Professor. During 2009-2012 Yaroslav Kholodov had been a Chairman of the Organizing Board of the Annual MIPT School in High-Performance Computing for Young Scholars. During 2010-2012 Yaroslav had been the Head of the MIPT research and educational center “High-Performance Computing and Distributed Computer Systems”.


Yaroslav gave lectures at the Department of Computational Mathematics of MIPT on the following topics:

  • Computational Mathematics

  • Non-Linear Computing

  • Numerical Modeling of Traffic Flows Dynamics

Yaroslav co-authored 3 study guides and one book. 4 post-graduate students of MIPT received PhDs in Mathematical Modeling, Numerical Methods and Software Complexes under his scientific supervision. Over 25 MIPT students received Master and Bachelor’s degrees in Applied Computing and Software Complexes.

Key research area is represented by intelligent analysis of traffic data and road traffic modeling using adaptive control algorithms. Today safe and effective operation of intelligent traffic control systems requires tools for acquisition and analysis of data about current traffic conditions. Assimilation of large data volumes regarding road traffic received from different sources is among the top areas of this research since it allows to enhance the accuracy of data mining by means of generalization of measurements using numerous approaches.

Yaroslav Kholodov has authored over 35 research works published in peer-reviewed journals, and owns 15 state registration certificates of computer programs. Yaroslav is a member of review committees of the following journals: Mathematical Modeling; Computer Research and Modeling.

Alexandr Klimchik

Alexandr Klimchik

  • PhD (Ecole Centrale de Nantes Univ., France)
  • Assistant Professor
  • Institute of Robotics
  • Head, Lab of Intelligent Robotic Systems
  • Alexandr Klimchik received the Engineering and Master degree in automation control from Belarusian State University of Informatics and Radioelectronics (Belarus) in 2006 and 2007, respectively, Ph.D degrees in mechanical engineering (robotics) from the Ecole Centrale de Nantes (France) in 2011

From 2006 to 2008 Alexandr Klimchik was a Research assistant at Belarusian State University of Informatics and Radioelectronics.

From 2008 to 2015 he was a Researcher at Ecole des Mines de Nantes (France) and was a member of robotic team in the Research Institute in Communications and Cybernetics of Nantes (IRCCyN, France).

Alexandr is the author of more than 50 research papers. His paper published in “Mechanisms and Machine Theory” (2011, 46 (5), 662-679) is Top-2 sited papers in this journal (Top-5 international journal in mechanical engineering, Impact factor 1.66).

 

  • 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
  • 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.
  • 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 .
  • 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. 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, 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. 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, S. Caro and A. Pashkevich. Optimal Poses Selection for Calibration of Planar Anthropomorphic Manipulators. Precision Engineering. 214-229. April 2015.
  • 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, 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, 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.
  • . 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, S. Caro, and D. Chablat. Stiffness matrix of manipulators with passive joints: computational aspects. IEEE Transactions on Robotics. 955-958. August 2012.
  • A. Pashkevich, A. Klimchik, D. Chablat. Enhanced stiffness modeling of manipulators with passive joints. Mechanism and Machine Theory. 662-679. May 2011.
Jooyong Lee

Jooyong Lee

  • PhD (Univ. of Aarhus, Denmark)
  • Assistant Professor
  • Institute of Technologies and Software Development
  • Lab of Industrializing Software Production
  • Jooyong Yi was a Senior Research Fellow at the National University of Singapore (NUS). He completed his Ph.D. at BRICS, Aarhus University in Denmark in 2007. BRICS, a Centre for Basic Research in Computer Science, was a special research center dedicated to the education/research on the fundamental areas of computer science such as logic, semantics, and algorithmic. His current research interest is software engineering and software security, as exemplified by automated program repair that suggests developers how to fix security-related and other bugs.
Jooyoung Lee

Jooyoung Lee

  • PhD (Syracuse Univ., USA)
  • Assistant Professor
  • Institute of Information Systems
  • Head of Network Science and Information Technology Laboratory
  • Jooyoung Lee received her Bachelor’s degree in Computer Science from Korea Advanced Institute of Science and Technology, South Korea, in 2007

    In 2014, she obtained her Ph.D in Computer Science from the Syracuse University, USA

    She was involved in the Data Fusion and Visualization project with JP Morgan Chase from 2010 to 2011. Jooyoung also worked for Sun Microsystems, South Korea

Her research specifically focuses on distributed reputation computation and estimating degrees of nodes in online social network.

She was a Visiting Scientist at KAIST (Korea Advanced Institute of Science and Technology) and she is currently staying at the Polytechnic University of Milan. 

  • Social Network Analysis
  • Reputation management
  • Bayesian game theory
  • Multi-agent systems
  • Lee, J., Oh, J. . Agent-Centric Second Degree Estimation within Social Networks. International Conference on Intelligent Agent Technology. 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. . A Distributed Reputation Computation Algorithm for Social Networks. Chapter in Lecture Notes on Social Networks. 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.. Convergence of true cooperations in Bayesian reputation game . Proceedings - 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014. 487-494. 2015.
Angelo Messina

Angelo Messina

  • MSc (Polytechnic Univ. of Turin, Italy)
  • Professor of Practice
  • Institute of Information Systems
  • Angelo Messina has a Laurea degree in Electronic Engineering at Politecnico of Turin (Italy), Doctorate in Non Com. electronics at Scuola Superiore Delle Telecomunicazioni e Informatica (T.E.I) Ministry of Defence, Army General Staff Course, Joint General Staff Course.

    He was the Head of the Italian Army Agile software development process including up to 7 teams producing high reliability software for 2 years.
As European Defence Agency R&T Deputy Director he was responsible of R&T military research programs in the area of information Acquisition and Processing. He worked as BMC4I & Sensor Simulation Engineer at NATO Medium Extended Air Defence Management Agency (USA) for 4 years.
Victor Rivera

Victor Rivera

  • PhD (Univ. of Madeira, Portugal)
  • Assistant Professor
  • Institute of Technologies and Software Development
  • Lab of Software Engineering
  • His research interests include Formal Models for developing and verifying software, Constraint Satisfaction Problems, and Concurrent Constraint Programming. He has developed several tools for the combination of formal techniques in the development of software helping the improvement of its quality.

Víctor holds a Ph.D. degree in Informatics from the University of Madeira, Portugal (2011-2014), a master degree (2009-2010) and a undergraduate degree (2003-2009) in Computer Science and Engineering from the Javeriana University, Cali/Colombia. In the past, he was involved in the development of a tool for the Materials and Process Simulation Center (MSC) at Caltech, and different research projects using Constraint Programming. He has also worked as a research assistant at the Madeira Interactive Technologies Institute (Madeira-ITI), designing, specifying and developing tools for the combination of formal methods in the development of software. Currently, Víctor is also part of the AVISPA research group.
Alan Rogers

Alan Rogers

  • PhD (Univ. of California, USA)
  • Professor of Practice
  • Associate Dean (Consulting)
  • Institute of Information Systems
  • Alan has been a developer, analyst, manager, project manager, and program manager during a career in IT that spans more than 20 years.  For the last several years he has specialized in delivering solutions using the cloud to a variety of companies from fast-growing startups to Fortune 100 companies.  Cloud platforms and agile methods have made his life easier – or at least more productive – over the last years and he is anxious to share those lessons.

Alan was a practitioner of Software Engineering in the US and UK for over twenty years for companies such as Cable & Wireless, ATT, Genentech, Symantec, NetApp, The Home Depot, Accenture, Appirio, and Tata Consulting.  His major recent interests are in project and program management, Cloud computing, and crowdsourcing.

He is very experienced in both traditional (waterfall) and modern agile, globally distributed approaches to software delivery.  He has successfully managed culturally diverse teams to deliver rapid, innovative systems.  Dr Rogers recently directed the collaboration between Skoltech and MIT and is excited about building new universities devoted to science and technology.  He has a foundation in academic research in genetics and molecular biology.

  • Cloud Platforms
  • Agile Methods
Nikolay Shilov

Nikolay Shilov

  • PhD (Novosibirsk State Univ., Russia)
  • Assistant professor
  • Institute of Information Systems
  • Lab of Cyber-Physical Systems
  • Nikolay had research positions in A.P. Ershov Institute of Informatics Systems (Russian Academy of Sciences) and visiting teaching/research positions at Sydney University of Technology (Australia), Nazarbayev University (Kazakhstan), University of Canterbury, Christchurch (New Zealand), Korea Advanced Institute of Science and Technology, Chung-Ang University and Samsung Advanced technology Training Institute (South Korea).


Since graduation Nikolay studies Theory of Programming and Applied Logic (in line with tradition founded by Andrey Ershov and Boris Trakhtenbrot). Currently his research interests are around foundations of Formal Methods and their application for analysis of program, information, distributed and multiagent systems.

  • . 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).
  • . Teaching Formal Models of Concurrency Specification and Analysis. Modeling and Analysis of Information Systems, v.22, n.6, p.783-794..
  • . Some Results on Multiagent Algorithms in Social Computing/Software Context. Information, v.17, n.1, 2014, p.229-240 (with Satykbayeva A.).
  • . Verification of Backtracking and Branch and Bound Design Templates. Automatic Control and Computer Sciences, v.46, n.7, 2012, p.402–409..
  • . 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.).
  • . 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.).
  • . Engaging Students with Theory through ACM Collegiate Programming Contests. Communications of ACM, v.45, n.9, 2002 (with Yi K.).
Athanasios Vasilakos

Athanasios Vasilakos

  • PhD (Univ. of Patras, Greece)
  • Professor
  • Head, Lab of Networks and Cybersecurity

  • Dr. Vasilakos is ISI Highly Cited Researcher. His research areas focus on Networks/IoTs/Cloud Computing, Cybersecurity, Big Data/Data Science, AI, Medical Informatics/Molecular Nanonetworks. He served or is serving as an Editor for many leading technical journals, such as the IEEE transactions on network and service managemet; IEEE transactions on cloud computing, IEEE transactions on information forensics and security, IEEE transactions on cybernetics; IEEE transactions on nanobioscience; IEEE transactions on information technology in biomedicine; ACM transactions on autonomous and adaptive systems; the IEEE jornal on delected areas in communications.


A.Vasilakos is conducting research in Evolutionary Game Theory in Wireless Sensor and Mesh network(IEEE/ACM T-Networking, to appear) and Bioinformatics . He chairs IMAI?7 conference and he served or is serving in the TPC of several conferences/symposia including IEEE INFOCOM (2001), 1st IEEE International Workshop on      Specialized Ad Hoc Networks and Systems (SAHNS 2007), IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2006 and 2007),GC'07ASNS(IEEE Globecom 2007 Ad-hoc and Sensor Networking Symposium), 4th International Conference on Ubiquitous Intelligence and Computing (UIC-07) 2007. He was or he is at the editorial board of several international journals: Computer Communications (Elsevier,1988-1991),ACM Applied Computing Reviews(ACM ACR), IEEE Communications Magazine (1999-2002), Soft Computing (Springer), Information Sciences (Elsevier), International Journal on Computational Intelligence Research, International Journal on Cognitive Informatics and Natural Intelligence, International Journal of Ad Hoc and Ubiquitous Computing(IJAHUC), ACM Computers in Entertainment(ACM CIE), Journal of Computational Intelligence in Bioinformatics, International Journal of Mobile Communications (IJMC), International Journal of Computational Science, International Journal of Internet Protocol Technology(IJIPT). .Guest Editor of several journals, such as IEEE T-Systems, Man and Cybernetics(special issue: Computational Intelligence in Telecommunications Networks,2003), ACM Transactions on Autonomous and Adaptive Systems(special issue on Autonomic Communications), Journal on Interactive Learning Research(CI in Web-based Education).He was chairman of the Telecommunications Committee of  the ERUDIT, European network of excellence in fuzzy logic and its applications and he is chairman of the Telecommunications Task Force of the Intelligent Systems Applications Technical Committee (ISATC) of the IEEE Computational Intelligence Society (CIS). He is member of the IEEE and ACM.
Eugene Zouev

Eugene Zouev

  • PhD (Moscow State Univ., Russia)
  • Assistant Professor
  • Institute of Technologies and Software Development
  • Lab of Software Engineering
  • Eugene Zouev graduated from the Computer Science Department of Moscow State University and got his doctoral degree (PhD) there in 1999. He worked in a number of research and development institutions,  at Moscow University and in some other universities and companies abroad. For many years, he gave lectures and did research at Moscow University and in several reputable European universities, such as ETH Zurich (2000-2006) and EPFL Lausanne (2009-2010).
E. Zouev ran a number of successful research and industrial software projects in the area of programming languages and compilers (C++ and Zonnon compilers are among them).

Currently, he is working as a principal engineer (Samsung range R7) at Samsung Research & Development Center, Moscow.

E.Zouev also provides consultancy services for some companies and participates in a few research projects (in particular, at London Metropolitan University, England).

He is the author of a number of books in the area of software development.
  • Programming Languages’ Semantics
  • Compiler design and implementation
  • Principles of Compiler’s APIs implementation
  • Program static analysis
  • 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.

In the spotlight

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