Lab of Software and Service Engineering

Incorrect information block

Джанкарло Суччи
Faculty of Computer Science and Engineering

Lab of Software and Service Engineering

The work conducted team of Lab of Software and Service Engineering in recent years focuses on the development of theories, methods, tools and programs covering the two major aspects of software engineering: the process side, describing how we develop software, and the product side, describing the results of this process. 

We have been pursuing the objective of improving Software Quality of the final product. This can be achieved by process optimization, as well as using effective architectural styles, design patterns and well-established software engineering techniques for requirements elicitation, design, testing and verification. In particular, our work has focused on service-based architectural styles and concurrent service-based systems.

Head of the laboratory – Nikolay Shilov

activity of laboraTORY 

The Lab of Software and Service Engineering of Innopolis University is devoted to the development of methods and tools for improving software quality. Although we attempt to cover the whole field of software engineering, our areas of emphasis are: 

— Software verification (both proofs and tests) 

— Concurrency 

— Persistence and evolution 

— Object-oriented reengineering 

— Language design and evolution (with particular focus on Eiffel) 

— Software architectures 

— Model checking and temporal logic 

— Process calculi 

— Service-oriented programming 

— Microservices (with particular focus on Jolie) 

— Social networks and trust algorithms 

— IoT and Smart Cities 

— DevOps 

— User Experience and Usability 

— Global Health 

— Web mining 


Nikolay Shilov

Head of the laboratory, Assistant professor

Manuel Mazzara


Maria Beketova 

PhD student

Nursultan Askarbekuly 

Junior Researcher

Manuel Alejandro Rodriguez Osuna

Junior Researcher

Sirojiddin Komolov

Junior Researcher

Swati Megha Svati

Junior Researcher

Mansur Khazeev

PhD student, MSIT-SE program manager

Hamza Mohd Abdelkareem Salem

Software Developer, Junior Researcher

invited professors

Bertrand Meyer

Jean-Michel Bruel

Mohamad Kassab

Alfredo Capozucca

Salvatore Distefano


Do you want a joint project?
Contact us


ReqExp extraction of requirements from arbitrary technical texts

The project uses deep machine learning and natural language processing


Porting Docker to experimental operating systems

The project allows you to identify the directions of further development of operating systems in the phase of active development


TICOTA: Test Inputs Constructed Out Of Thin Air

Analyze disparate specifications using machine learning technologies. The project aims to improve the efficiency of automatically generated texts


Requirements processes for seamless development

The project is aimed at creating software development processes that allow you to respond as quickly and correctly as possible to frequent changes in requirements


Habit-Forming through a Software Product. Practical Applications of the Hooked model

The research explores upholding family ties as a positive habit and its effect on software engineers, and presents an applied case study on shaping human behaviour and habit-forming through software technology


Arabic Video Generator (AVG ) using Machine learning - Convert Website Blogs to Youtube Animated Videos

The research aims at creating a tool to generate animated videos from using blogs content. using different technology such as: Web Scraping , NLP, HTMLP and Professional text to speech based on the content