Lab of Software and Service Engineering

About the Lab

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

Our team


Manuel Mazzara, Professor, Head of the Lab


Ilya Afanasyev, Assistant Professor


Alexandr Naumchev, Assistant Professor


Daniel de Carvalho, Assistant Professor

He has a PhD degree in Mathematics from the University of Aix-Marseille-2, France. He worked as a lecturer and as a researcher in the Universities of Aix-Marseille-2, Paris-7, Paris-13, in the INRIA (the French National Institute for computer science and applied mathematics), in the Univerity of Roma-3 (Italy) and in the University of Copenhagen (Denmark). He currently works on static verification of programs. He is also interested in the following topics: lambda-calculus, Linear Logic, Term Rewriting Systems, denotational semantics and computational complexity.

Bertrand Meyer, Visiting Professor


Jean-Michel Bruel, Visiting Professor


Mohamad Kassab, Visiting Professor


Alfredo Capozucca, Visiting Professor


Salvatore Distefano, Visiting Professor


Mansur Khazeev, Ph.D. student, MSIT-SE program manager


Mary Beketova, Ph.D. student


Nikolay Kudasov, Ph.D. student


Nursultan Askarbekuly, Junior Researcher


Sirozhiddin Komolov, Junior Researcher


Manuel Alejandro Rodriguez Osuna, Junior Researcher


Hamza Mohd Abdelkareem Salem, Software Developer, Junior Researcher


Swati Megha Svati, Junior Researcher

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