23.04.2012: Анонсированы участники Google Summer of Code 2012

Опубликовано admin в Пнд, 23/04/2012 - 20:21

Google Open Source Programs Office опубликовал список студенческих проектов, отобранных для участия в программе Google Summer of Code 2012 (GSoC-2012). В рамках этой программы компания Google финансирует работу студентов над различными проектами по разработке свободного программного обеспечения. В этом студентам на добровольных началах помогают менторы из участников, соответствующих проектов. В 2012 году для участия в программе было отобрано 180 свободных проектов из 406, подавших заявки, а финансирование получили 1212 студентов из 4258 претендентов, предложивших в общей сложности 6685 проектов.

Пять студенческих проектов, прошедших отбор, будут курироваться сотрудниками Центра верификации Linux Вадимом Мутилиным, Алексеем Хорошиловым и Андреем Цываревым в рамках сотрудничества с некоммерческим консорциумом The Linux Foundation по направлениям верификации модулей ядра Linux и развития инфраструктуры LSB:

  • Денис Ефремов (аспирант ИСП РАН) - Формализация правил корректного использования интерфейса сердцевины ядра Linux.
  • Роман Зыбин (аспирант ИСП РАН) - Обновление тестового набора LSB OLVER Core.
  • Никита Комаров (аспирант МИЭМ) - Реализация легковесного детектора гонок в модулях ядра Linux на платформе x86.
  • Михаил Мандрыкин (студент 5-го курса факультета ВМиК МГУ им. М.В.Ломоносова) - Формализация правил корректного использования интерфейса сердцевины ядра Linux.
  • Евгений Новиков (аспирант ИСП РАН) - Дополнительные возможности по инструментации исходного кода для верификации драйверов Linux.

Желаем плодотворного программирования всем участникам GSoC 2012!