Ioan Borza, mathematician la institutul de calcul