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..
Mohamad Kassab

Mohamad Kassab

  • Visiting Lecturer
  • Mohamad Kassab graduated from the University of Windsor, Canada, in 2003, got Master’s Degree in Concordia University, Canada and obtained there his PhD in Computer Science in 2009. He taught a variety of undergraduate and graduate software engineering and computer science courses at The Pennsylvania State University (Penn State) and Concordia University. These courses include: Requirements Engineering, Software Systems Design, Advanced Software Engineering Studio, Pattern-Oriented Design, System Requirements Specification, Software Process, Measurement in Software Development, Operating Systems, Software Engineering, Software Verification and Testing, Software Architecture, Software Development Project and Software Measurement: Theory and Practice.
His teaching activities were rewarded by receiving the Teaching Fellowship Award twice at Concordia University. He has also helped in mentoring several undergraduate and graduate students during their research projects, a position that involved instruction in methods of establishing a scientific investigation.

The teaching methods he usually applies depend on the learning objectives. He often employs a wide range of instructional strategies into the face-to-face sessions; including: case study analysis, debates, role play, simulational exercises, Group Collaborative Project, and Problem-Based Learning Exercises.

Also Mohamad has wide industrial experience, e.g. he worked in such companies as “SAP AG”, “Nokia”, “Positron Public safety systems”, “TCC The Computer Center” etc.
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.
Bertrand Meyer

Bertrand Meyer

  • Visiting Professor
  • Head of SE lab
  • Bertrand Meyer received a master degree in engineering from the École Polytechnique in Paris, a second master's degree from Stanford University, and a PhD from the Université de Nancy in Nancy, Meurthe-et-Moselle.
Bertrand Meyer had a technical and managerial career for nine years at Électricité de France, and for three years was on the faculty at the University of California, Santa Barbara. Since October 2001, he has been Professor of Software Engineering at ETH Zürich, the Swiss Federal Institute of Technology, where he pursues research on building trusted components (reusable software elements) with a guaranteed level of quality.

His other activities include being adjunct professor at Monash University in Melbourne, Australia (1998–2003) and membership of the French Academy of Technologies. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker. As former head of the ETH Computer Science department, he is one of the founders and the past president of Informatics Europe, the association of European computer science departments.

  • 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"
  • 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
  • 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, 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, 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, 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.
  • Alexandr Naumchev
  • Alexandr Chichigin
  • Mohamed Elwakil
  • Victor Rivera
  • Daniel De Carvalho
Qiang Qu

Qiang Qu

  • Visiting Lecturer
  • Qiang Qu did his Ph.D. at Aarhus University and his research was supported by the GEOCrowd project under Marie Skłodowska-Curie Actions. He obtained his M.Sc in Computer Science from Peking University, and B.Sc. in Management Science from Dalian University of Technology. His current research interests include spatial data management and query processing, data mining, social network analysis, and sensor networks.
He is a Visiting Researcher in Systems Group at ETH Zurich, Switzerland (2014-2015).

He was also a Visiting Scholar in the Department of Computer Science at Carnegie Mellon University, USA (2013-2014).

Qiang was a holder of the Canon Scholarship, China Excellence National Scholarship, and Honorable Awards of International Mathematics Modeling Competition and Java Cup Competition.

He worked for the Sun Microsystems and IBM China Research Lab, and was involved in several projects supported by governments and companies.
  • Spatial Data Management
  • Data Mining
  • Social Network Analysis
  • Mobile and Sensor Data
  • 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.
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
Kenneth Dawson-Howe

Kenneth Dawson-Howe

  • Visiting Lecturer
  • Kenneth Dawson-Howe (M.A., Ph.D., Dip. Mgt.) has been a tenured lecturer (assistant professor) with the School of Computer Science and Statistics in Trinity College Dublin since October 1991. He has taught a variety of courses, although his main teaching is in the area of computer vision to both final year undergraduate and postgraduate students. He is course director for the Integrated Computer Science programme.
    He headed the Computer Vision and Robotics research group (CVRG) from 1991 until 1997 and from 2000 until 2006. His research interests have ranged from industrial vision, to medical imaging, visual surveillance, landmine detection, 3D object recognition, and a variety of other vision applications.  Dr. Dawson-Howe is the author of over 50 publications in the area of computer vision, virtual reality, ultrasound image analysis and robotics. He is also a member of the research group GV2, which deals with computer graphics, recognition and visualization.
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.).
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.
Salvatore Distefano

Salvatore Distefano

  • Visiting professor
  • Salvatore Distefano achieved his Master degree in 2001 at University of Catania and his PhD in 2005 in University of Messina. He has been involved in several national and international research projects.
Salvatore Distefano is author and co-author of more than 100 scientific papers. He is member of international conference committees and he is in the editorial boards of the International Journal of Performability Engineering, Journal of Cloud Computing, International Journal of Engineering and Industries, International Journal of Big Data, International Journal of Computer Science & Information Technology Applications.

He also acted as guest editors for special issues of the Journal of Risk and Reliability, Journal of Performability Engineering, ACM Performance Evaluation Review and IEEE Transactions on Dependable and Secure Computing.
  • Performance evaluation
  • Parallel and distributed computing
  • Grid
  • Cloud
  • Autonomic
  • Volunteer
  • Big Data
  • Software engineering
  • Service engineering
  • Reliability techniques
  • Quality of Service/Experience
  • Service Level Agreement
  • Non-Markovian modelling
  • Performance and reliability evaluation
Mats Nordlund

Mats Nordlund

  • Visiting Lecturer
  • Dr. Nordlund has a unique background from executive positions in academia and industry in Europe, USA, and Russia. He spent 15 years in industry, first as director of corporate technology strategy and acquisition at Saab AB, a major aerospace company, and later as Director of Research and Development for Emerson Process Management – Level and Marine. Dr. Nordlund recently served three years as Vice President of Research Programs at Skoltech - the key transformational entity within the Russian Federal Economic Modernization Program and a new university being established in Moscow in partnership with MIT. 
In the 1990s, he launched and managed the System Design and Management (SDM) program at MIT. Dr. Nordlund has also served on several national and international (EU) panels in innovation, research and higher education, including the High Level Expert Group that in 2005 laid the foundation for the European Research Council (ERC). Currently, Dr. Nordlund is engaged in a start-up company working in the area of cyber physical systems and their applications in the construction industry.
Gregory Kucherov

Gregory Kucherov

  • Visiting Lecturer
  • Gregory Kucherov received the PhD degree in computer science from Russian Academy of Sciences in Novosibirsk in 1988 and the habilitation degree from Henri Poincaré University in Nancy, France, in 2000. His current research interests include algorithm design and engineering, algorithmic complexity, word combinatorics, data structures, sequence analysis with applications to bioinformatics and computational biology.
Gregory Kucherov has been an editor of a book, a (co)-author of about 40 journal publications and 50 conference papers. He supervised several software development projects in bioinformatics, including mreps, Yass, Norine or SToRM. He regularly serves on program committees of major international conferences, and is invited to present his work to various international forums. He has been a (co-)advisor of eight PhD students.
Panagiotis Fitsilis

Panagiotis Fitsilis

  • Visiting Professor
  • Professor Dr. Panagiotis Fitsilis has extensive project management experience with the development and deployment of large IT systems and extensive management experience in various senior management positions such as:Director of School of Business and Economics at TEI of Thessaly, Vice President of TEI Thessaly Research Committee, Head of Project Management department at TEI Thessaly, Head of Business Unit at international IT company, Intrasoft International, etc.
In his work as Business Unit manager at Intrasoft International he was responsible for the development, deployment and operation of a number of prestigious IT systems for European Commission.

Further, he has worked in more than 50 research or commercial projects, at various roles. He is the author of four books, the last one, having as title Contemporary Business Information Systems and author of approximately 100 papers published at scientific journals and international conferences. His research interests include: Project Management, Software Engineering, Business Information Systems, Social Media Applications, Smart Cities, etc.
Engelbert Hubbers

Engelbert Hubbers

  • Visiting Lecturer
  • Approximately since 2005 Engelbert Hubbers’ main focus there has been on education. He teaches a lot of courses, mainly in the bachelor phase of Computer Science. The topics are typically related to Mathematics: logic, discrete mathematics, combinatorics, formal semantics of programming languages and term rewrite systems. In 2014 he was awarded 'best teacher of the Science Faculty'.
Between 2001 and 2005 he did research in the area of smart cards and electronic voting systems. Between 1998 and 2001 he worked as a mathematics teacher and as a software developer for the Dutch police. From 1994 till 1998 he worked on his PhD-thesis 'Nilpotent Jacobians' at the Mathematics department at the university of Nijmegen. In 1994 he graduated both in Mathematics and Computer Science at the same university.
Leon Derczynski

Leon Derczynski

  • Visiting Lecturer
  • Doctor Leon Derczynskiwas awarded his PhD in 2013, under an Enhanced Doctoral Training Grant from the UK Engineering and Physical Sciences Research Council. He has published extensively since then and is a committer on two text processing frameworks, GATE and NLTK. His main interests are machine learning, information extraction and social media, and he has published extensively in these areas. He co-authored the FP7 PHEME project on veracity in social media, and has lead production of successful tools for social media processing. Currently Co-Investigator on the H2020 COMRADES project, Dr. Derczynski also has a strong research community involvement record, organising workshops and evaluations such as W-NUT and a number of SemEval tasks, where he is also a chair. He has publish in high profile venues, including best paper at WEBIST'15 and founding the vision track at EDBT, and regularly delivers invited tutorials and talks.
Sebastian Denef

Sebastian Denef

  • Visiting Lecturer
  • Sebastian Denef is an expert for human computer interaction with an interdisciplinary background in design, computer science and economics. As research fellow at Fraunhofer Society, he leads European research efforts on ICT in safety-critical contexts. As CEO and co-founder of OWN, he runs a software startup that creates an intelligence interface for teams. As a board member of the IPERF Institute, he explores the role of design in futuring and innovating. Previously, Sebastian worked at iconmobile group, managing the innovation team in developing mobile applications for clients such as BMW, Nokia, Orange, O2 and T-Mobile.
Sebastian holds a PhD in Design of Technical University Delft, the Netherlands. He graduated in Media System Design at the University of Applied Science Darmstadt, Germany as a scholar of the German National Academic Foundation. His academic work has been publishedin international journals and conference proceedings.
Sara Busechian

Sara Busechian

  • Visiting Lecturer
  • Sara Busechian graduated magna cum laude in Veterinary Medicine in 2007 in Perugia, where she also received her PhD in Equine Sciences in 2011. She is a Resident of the European College of Veterinary Medicine in Vienna. Her main topics of interest are Inter
    nal Medicine, Endoscopy and Sports Medicine.

In the spotlight

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