Computer Science клуб при ПОМИ РАН

В воскресенье ходил на лекции Computer Science клуба при ПОМИ РАН. Там выступали преподаватели факультета информатики Университета Лугано (Швейцария).

Шёл я на software verification, но так получилось что расписание поменялось и рассказывали про Distributed algorithms и про Networks.

В Distributed algorithms я не въехал. Может быть из-за того, что не был на самой первой лекции, где была дана постановка задачи. Может быть из-за проблем с пониманием докладчика — он говорил быстро и местами чуть невнятно. Хотя студы что-то с ним обсуждали.

Networks — я бы описал как качественное введение в TCP/IP. Разбирались процесс установления соединения, форматы сообщений, отдельное внимание было уделено проблеме производительности сети (с точки зрения теории массового обслуживания), рассмотрели протоколы управления потоком.

Семинары для слушателей бесплатны. Слушали в основном студы с Матмеха Универа и откуда-то из ЛИТМО. Университет Лугано по ходу дела предлагал пойти к ним в бакалавриат, магистратуру и аспирантуру. Рассказали как куда и как и что отправлять для этого.

Меня-то интересует что они делают в области верификации, так что первомай буду встречать на семинаре.