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


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