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)



•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.

Innopolis University - the first university in Russia, specializing exclusively in modern information technologies. The main purpose of its creation is to prepare qualified personnel to launch the domestic innovation industry to a new level. At the first stage of development of the University involved in the selection and training of their future teachers and researchers - it is an essential condition for the formation of effective educational system.


The Innopolis project involves the creation of a new city. It will be a smart city with an extensive business infrastructure (technology parks, development centers, etc.), Russia's first IT University (in partnership with Carnegie Mellon University, USA), a full range of social and commercial infrastructure (schools, kindergartens, hospitals, shopping centers, restaurants, etc.) and accommodating a diverse social spectrum (from multi-family houses to townhouses and cottages), most of which will be provided to employees of the resident companies for rent with the right to purchase.

Kazan is the capital and largest city of the Republic of Tatarstan, Russia. In April 2009, the Russian Patent Office granted Kazan the right to brand itself as the "Third Capital" of Russia. In 2009 it was chosen as the "Sports capital of Russia"and it still is referred to as such. The city hosted the 2013 Summer Universiade, 2014 World Fencing Championships and will host the 2015 World Aquatics Championships, and 2018 FIFA World Cup. Along with those achievements Kazan is a large scientific centre of Russia and Tatarstan where about 30 higher educational institutions are altogether.