诺夫哥罗德国立雅罗斯拉夫智者大学

程序和软件系统设计、分析、转换、验证和测试的模型、方法和算法;编程语言和编程系统,程序语义学; 模型、方法、架构、算法、语言和组织程序与软件系统交互的软件工具;机器学习、数据库管理和知识管理的智能系统,数字产品开发的工具; 符号计算软件系统;操作系统; 全球分布式数据处理组织的模型、方法、算法、云技术和软件基础设施等