Rudzkis, Rimantas, Matematikos ir informatikos institutas, Lithuania