Vilniaus Universiteto Matematikos Ir Informatikos Institutas