Новости

Исследовательские проекты трёх студентов отделения Computer Science поддержаны стипендиями Яндекса

Исследовательские проекты трёх студентов отделения Computer Science поддержаны стипендиями Яндекса:

  • Монахов Иван Игоревич, "Частичная дерандомизация леммы Валианта-Вазирани"
  • Соколов Дмитрий Олегович, "Криптографическая стойкость функции Голдрейха"
  • Ярославцев Григорий Николаевич, "Схемная сложность обращения функций"

Открытие весеннего семестра 2010-го года в Computer Science клубе

Открытие весеннего семестра 2010-го года в Computer Science клубе состоится 31-го января. После орг. собрания Андрей Гольдберг (Microsoft Research) прочтёт лекцию под названием "Highway Dimension and Provably Efficient Shortest Path Algorithms". Более подробная информация о предстоящем семестре появится вскоре на сайте клуба.

Verification Technology, Systems & Applications

В рамках обучения на 6 курсе студенты группы Computer Science Иван Монахов и Григорий Ярославцев приняли участие в летней школе Verification Technology, Systems & Applications. Школа проходила с 12-го по 16-ое октября в центре INRIA, Нанси, Франция.

Logic & Complexity

В рамках обучения на 6 курсе студенты группы Computer Science Иван Монахов и Григорий Ярославцев приняли участие в осенней школе Fall school of logic & complexity.

Вступительные испытания

В этом году имеются две возможности пройти вступительные испытания: либо в апреле-мае, либо в июле-августе. Предполагается, что каждый абитуриент участвует только в одном из этих этапов по своему собственному желанию.

Первый этап организован, в основном, для удобства живущих в Петербурге абитуриентов, чтобы они имели возможность узнать результат приема до окончания своего текущего обучения. Тем не менее, абитуриенты из других городов тоже могут принять участие в первом этапе, если им это удобно, а абитуриенты из Петербурга могут предпочесть поступление в июле.

Список заданий с собеседования (теоретическая информатика)

На страницу приёма-2010 выложен список заданий, предлагавшихся для письменного решения на предварительном собеседовании на специализацию "теоретическая информатика" 24 апреля 2010 года.

Открытое тестирования проекта eBookSearch

Началось открытое тестирование open source проекта eBookSearch, разрабатываемого студентами кафедры при поддержке компании Яндекс.

О проекте eBookSearch

Мотивацией для данного проекта послужило желание облегчить работу пользователей с электронными книгами. Ресурсы, которые сейчас есть в интернете, позволяют пользователю последовательно сначала находить нужную книгу, затем самостоятельно скачивать и искать программу, которая может работать с файлом в заданном формате.

Летний этап вступительных испытаний

Определились даты вступительных испытаний. Все, кто заполнил форму приёма, должны были получить письмо. Если Вы по каким-то причинам не получили письмо — сообщите об этом через форму связи.

Первое заседание семинара по технологиям разработки ПО

15 октября состоится семинар о приемах разработки отказоустойчивого ПО, который проведет Ольга Шаронова - старший инженер программист компании EMC. Место проведения семинара: АУ ауд. 206, Время: 15 октября 10.00 - 11.30 с планом семинара можно ознакомиться по здесь.

Семинар: автоматический сбор данных по примерам

1 ноября в 10 часов состоится семинар по методам автоматического поиска данных по примерам. Докладчик Сергей Нурк, Яндекс. Тезисы семинара можно найти здесь: http://mit.spbau.ru/ru/node/134

Страницы