Informatikos institutas, Vilniaus universitetas