Объединенный институт ядерных исследований, лаборатория вычислительной техники и автоматизации