دانشگاه دولتی فناوری و طراحی صنعتی سن پترزبورگ

مدل ها، روش ها و الگوریتم های طراحی، تحلیل، تبدیل، اعتبارسنجی و آزمایش برنامه ها و سیستم های نرم افزاری. مدل ها، روش ها، معماری ها، الگوریتم ها، زبان ها و ابزارهای نرم افزاری سازماندهی تعامل برنامه ها و سیستم های نرم افزاری. سیستم های هوشمند یادگیری ماشین، مدیریت پایگاه داده و دانش، ابزارهای توسعه محصولات دیجیتال. سیستم های نرم افزاری محاسبات نمادین. سیستم عامل ها. مدل ها و روش های ساخت برنامه ها و سیستم های نرم افزاری پردازش موازی و توزیع شده، زبان ها و ابزارهای برنامه نویسی موازی