| Компания: | Microsoft Research |
| Компания: | Высшая школа экономики (НИУ ВШЭ) |
Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную летнюю школу, посвященную вопросам программной инженерии и верификации программного обеспечения. Директором школы являетсяТони Хоар (Tony Hoare) – ученый с мировым именем, лауреат премии Тьюринга (аналог Нобелевской премии в области информационных технологий).
В качестве лекторов в школу будут приглашены широко известные ученые и профессора из ведущих университетов США и Европы. Планируется привлечение иностранных участников из Эстонии, Литвы, Латвии, Финляндии, Норвегии, Польши, Швеции, Нидерландов, и Испании. К участию также приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.
Целью школы является формирование у студентов системы теоретических знаний и практических навыков по следующим направлениям:
- Верификация программного обеспечения
- Применение формального вывода при анализе программ
- Статический анализ
- Динамический анализ
- Разработка компиляторов
- Программные средства обеспечения надежности программного обеспечения
- Безопасность программного обеспечения
- Применение средств автоматизированного доказательства теорем при анализе программного обеспечения
Одной из важных целей школы также является развитие у студентов интереса к участию в наиболее перспективных современных исследованиях в области информационных технологий (computer science), особенно в контексте практически применимых и коммерчески важных исследований. В рамках школы будут обсуждаться успешные проекты верификации в индустрии.
В дополнение к лекциям планируется предложить слушателям школы комплект домашних заданий, выполнение которых потребует как аналитической работы, так и написания программного кода.
Дополнительная информация о школе находится на ее странице: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/
Последний день подачи заявки: 15 апреля 2011 г.
Организаторы: Microsoft Research, Высшая Школя Экономики
Контактная информация: Веб: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/
Эл. почта: SSSEV_2011@hotmail.com
