Manuel Mazzara is a professor of Computer Science at Innopolis University (Russia) with a research background in software engineering, service-oriented architectures and programming, concurrency theory, formal methods and software veri cation. He cooperated with european and US industry, plus governamental and inter governamental organizations such as the United Nations, always at the edge between science and software production.