Дар бораи барномаи таълимӣ
Барнома омодагии барномасозони касбиро таъмин мекунад, ки қодиранд нармафзори системавӣ ва амалиро таҳия кунанд, инчунин корҳои илмиро дар соҳаҳои гуногуни информатика, аз ҷумла чунин самти ояндадор ба мисли зеҳни сунъӣ пеш баранд. Хатмкунандагон омодагии асосиро дар математикаи классикӣ ва конструктивӣ, информатика, усулҳои зеҳни сунъӣ, нармафзори математикӣ ва системаҳои зеҳнӣ мегиранд.