Bertrand Meyer


Head of SE lab and visiting professor at IU


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. He 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 current president of Informatics Europe, the association of European computer science departments.


Manuel Mazzara


Deputy-head of SE lab and associate professor at IU


Manuel Mazzara is a dedicated and flexible individual with commitment to research and passion for teamwork, tutoring and coaching. In 2000 he was a system administrator at CS Labs in Bologna and in 2003 he worked as SW Engineer at MS in Redmond where he developed his technical skills for then building a more theoretical background with his PhD in Bologna. During this period, he also worked as a teacher and consultant (banking and private business). In 2006 he was an assistant professor in Software Engineering at the University of Bolzano (Component-based Development and Software Reliability). In 2007 he worked as a Project Manager at the Technical University of Vienna (Semantic Web and Discovery). From 2008 to 2012 Manuel encountered the most challenging and exciting situations of his life working with 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.

Tatiana Stanko


Ph.D. Vice-Provost on Education, Innopolis University


As the Vice-Provost on Education at Innopolis University, she is responsible for developing, evaluating and executing the undergraduate curriculum, student search and admission, faculty recruitment, faculty development, and university policies development. She coordinates collaboration with consultants from iCarnegie Global Learning, LLC and Carnegie Mellon University and actively involves participants from other leading Universities. Dr. Stanko previously served as Manager of Academic Affairs for the Skolkovo Institute of Science and Technology, Russia. There, she organized and managed the faculty recruitment process, faculty development activities and development of the policies associated with faculty in collaboration with the Massachusetts Institute of Technology (MIT). She was also heavily involved in curriculum design, research in education, and relations with stakeholders. During her career, Dr. Stanko worked as a postdoctoral research scientist at the Department of Thermodynamics, Technical University of Munich. In this capacity she also served as a department manager of the European Framework Programs. Teaching and research scientist at the CFD Center, University of Leeds. Teaching assistant at the prestigious Moscow Institute of Physics and Technologies, and business analyst for Sportmaster, a leading clothing and equipment retailer in Russia, Belarus and the Ukraine. Dr. Stanko received a Ph.D. in computational aeroacoustics from the University of Leeds in the United Kingdom. She received Bachelor and Master of Science Degrees in Applied Physics and Mathematics from the Moscow Institute of Physics and Technology, Russia.

Denis Anisimov


PhD student at Innopolis University


His research interest are formal models, verification and engineering of reconfigurable and self-adaptive software.

•2012 - BS in Applied Physics and Math - Microprocessor Technologies from MIPT. Thesis topic - Non-intrusive verification technology for co-designed microarchitecture project.

•2014 - MS in Information Technologies - Software Engineering from CMU. Final project - Data collection and visual display for the Rainbow architecture-based self-adaptation framework.

•2014 - MS in Applied Physics and Math - Theoretical and Applied CS from MIPT. Thesis topic - Probabilistic models for strategy verification in architecture-based self-adaptive system.

•2010-2013 - Software Engineer Intern at Intel. Development of optimizing binary translator for a novel microprocessor architecture.


Alexandr Naumchev


PhD student at Innopolis University


His research interests include applying formal methods in software engineering, modeling self-adaptive systems, software models verification.

Alexandr holds a degree in Mathematics from Novosibirsk State University (September 2003 - June 2008). He also is a Master of Science in Information Technology (Software Engineering), Carnegie Mellon University (August 2013 – August 2014).

Alexandr has tried himself in different professional areas, including banking (April 2008 – March 2009) and credit risks analysis (September 2007 – March 2008). In the Information Technology field he worked as a Software Intern (December 2005 – May 2006), Technical Writer (May 2009- April 2010) and finally as a Software Engineer in Parallels (April 2010 – August 2013). His professional interests included mostly software security assessment, developing high-performance software and reversing software in general.



Salvatore Distefano


Visiting professor at IU


Salvatore Distefano is visiting professor at Innopolis University and at Politecnico di Milano. His main research interests include non-Markovian modelling; performance and reliability evaluation; dependability; Quality of Service/Experience; Service Level Agreement; Parallel and Distributed Computing, Grid, Cloud, Autonomic, Volunteer, Crowd Computing; Big Data; Software and Service Engineering. During his research activity, he has contributed in the development of several tools such as WebSPN, ArgoPerformance and GS3. He has been involved in several national and international research projects. He 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.

Alexandr Tchichigin


Researcher at Innopolis University


His research interests include formal methods and models in software construction and verification, formal logic and type systems, parallel, concurrent and distributed programming.


Alexander holds a degree in Physics from Irkutsk State University (September 2003 - June 2008).


Alexander has broad industrial experience as a software developer in such areas as low-level C/C++ programming and web-development in Java, Ruby, Python and Clojure. He is also regular participant in ICFP Contest programming in Haskell.




Inna Baskakova


Inna Baskakova PA to Bertrand Meyer.


Inna achived her Master degree in International Public Governance at High School of Political Sciences and International Relations in Paris.