Software Engineering lab

The Software Engineering Laboratory 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

The Software Engineering Laboratory is headed by Prof. Bertrand Meyer from ETH Zurich, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle and Politecnico di Milano.

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