Отправляющая организация:МГУ имени М.В. Ломоносова
Принимающая организация:Cornell University, США
Отправляющее
подразделение:
Факультет вычислительной математики и кибернетики
Направление:Стажировка сотрудника подразделения во внешней организации
Дата начала:10 июня 2013 г.
Дата окончания:14 июня 2013 г.
Цель стажировки:Изучение последних научных и практических результатов, полученных ведущими специалистами из академии и индустрии в результате применения формальных методов к области компьютерных сетей.