sige

Еще есть магистратура в Академическом университете, о которой сегодня был пост. Там как раз есть несколько направлений из вашей сферы интересов. logic.pdmi.ras.ru/aptu/courses