Speciality: 05.13.17 (Theoretical foundation for informatics)
E-mail: ,
Keywords: large-scale information systems, category theory
UDC: 519.68

Subject:

Theoretical basics and mathematical methods of large-scale information systems design

Main publications:

1. S. P. Kovalev, “Semantika aspektno-orientirovannogo modelirovaniya dannykh i protsessov”, Informatika i ee primenenie, 7:3 (2013), 70–80

Publications in Math-Net.Ru

Personal pages:

• 
• 
• 

Organisations:

• Institute of Computational Technologies, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
• V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow