We have launched our new website in technical mode.
Old version of website
Lab of Software and Service Engineering
The work conducted by Manuel Mazzara and his team 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 – Manuel Mazzara
m.mazzara@innopolis.ruactivity 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
Members
Manuel Mazzara
Head of the laboratory
Ilya Afanasyev
Assistant Professor
Alexandr Naumchev
Assistant Professor
Daniel de Carvalho
Assistant Professor
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