Я скорее математик как ни странно. Вы же не можете придумать новую модель, доказать ее сходимость и тп, но при этом не закодить. На кафедре высшей алгебры (имхо наиболее абстрактное направление, кроме теории множеств) есть направление компьютерной алгебры. Вычисляют абсолютно теоретические вещи в математике с помощью программ. Понятно, что все кодят. И если я в it  уже хотя бы из-за сферы применения, то они  совсем чистые математики.