
Основното развитие на съвременните изчислителни системи включва моделиране и управление на взаимодействията между дискретни и непрекъснати явления, ефикасно и устойчиво справяне с хетерогенните мрежи, възможност за достъп до потенциално неограничени хардуерни и софтуерни ресурси, работа с несигурност и необходимост от разработване масивно количество данни в реално време. Нашето принцип е, че за да се отговори на тези предизвикателства, трябва да се разработи мултидисциплинарно знание, което трябва да се основава на способности за моделиране и разсъждение. Ето защо основната цел на нашия доктор. е да даде възможност на студентите да развият тези способности и да ги приложат в изследователските предизвикателства в компютърните науки. За тази цел предлагаме на нашите завършили студенти уводни курсове, които осигуряват необходимия формален опит и специализирани курсове, които запознават студентите с най-новите постижения в областта на реактивните системи, софтуерното инженерство и алгоритмичните аспекти на компютърните и социалните мрежи.
Докторатът Програмата се състои от 4 години изследване и изследване. През първата година студентите следват редица курсове, структурирани в три основни стълба: Основи на (модерни) мрежи, спецификация и анализ на съпътстващи реактивни системи и софтуерни системи и услуги. Освен вътрешните курсове по GSSI, студентите се насърчават да вземат часове и в летни училища или в други институции в Италия или в чужбина. Всеки ученик е помолен да подготви, заедно с докторантурата. координатор, учебен план, който да бъде одобрен от Научния съвет.
Изпълнението на изпитите и качеството на предложението за теза (представено в края на първата година) са основните критерии за вземане на решение за приемане през втората година. Втората и третата година са посветени главно на научните изследвания. При разработването на своето изследване всеки студент се подпомага от ръководител и неговият / нейния напредък се оценява от дипломна комисия, състояща се от експерти в съответната сфера на нейните научни интереси. Студентите се насърчават да изразходват част от изследванията си в външни изследователски лаборатории в Италия или в чужбина.
Допълнителна информация за докторантурата програмата е на разположение на адрес: href = "http://cs.gssi.infn.it/phd-program/information/
комисия
Лука Ацето (Университет Рейкявик, Исландия), Антония Бертолино (ISTI-CNR, Пиза), Джанлоренцо Д'Анджело (GSSI), Роберто Ди Козмо (Университет Париж Дидеро, Франция), Бениамино Ди Мартино (Университета на Кампания " ), Michele Flammini (председател, GSSI и Università dell'Aquila), Паоло Прийето (Politecnico di Torino), Лука Тревисан (UC Berkeley и Симон институт за теория на компютърните технологии, САЩ).
Институтът за наука "Гранд Сасо" предлага 34 докторанта. стипендии по физика, математика, компютърни науки и социални науки.
HREF = "http://www.gssi.it/phd/
Институтът за наука "Гранд Сасо" (GSSI), създаден през 2012 г. в L'Aquila (Италия) като Център за напреднали изследвания на Националния институт за ядрена физика (INFN) и създаден през март 2016 г. като училище за напреднали изследвания, осигуряващо следдипломна квалификация образование, предлага 34 докторска степен. за академичната година 2018/19.
GSSI ( www.gssi.it ) кани кандидатури за 10 стипендии в "Астрономия физика", 8 в "Математика в природни, социални и биологични науки", 8 в "Компютърни науки" и 8 в "Urban Studies и регионални науки". Официалният език за всички докторанти. курсовете са английски.
Стипендиите се отпускат за 4 години, а годишната им сума е 16.159,91 евро. Всички докторанти студентите имат безплатно настаняване в съоръженията на GSSI и използването на столовата.
Заявлението трябва да бъде подадено чрез онлайн формуляра на адрес www.gssi.it/phd/ до 20 юни 2018 г. в 18.00 ч. (Италианска часова зона).
За повече информация, моля, направете справка с Поканата за кандидатстване на адрес www.gssi.it/phd/ или напишете имейл на info@gssi.it
Курсове компютърни науки
ИМИГРАЦИОННИ КУРСОВЕ
- Реактивни системи - Лука Ацето, Роко Де Никола, Катя Трубини
- Софтуерни системи и услуги - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
- Дизайн и анализ на алгоритмите - Mattia D'Emidio, Michele Flammini
ОСНОВНИ КУРСОВЕ
- Моделиране и проверка на реактивни системи - Luca Aceto, Rocco De Nicola
- Принципи на проверка на модела - Микеле Лорети
- Моделиране на ефективността - Mirco Tribastone
- Абстракция, моделиране и архитектура - Patrizio Pelliccione
- Софтуерна архитектура и извън нея - Паола Инвербари, Масимо Тиволи, Марко Аутили
- Софтуерно тестване и надеждност - Антонела Бертолино
- Алгоритми за приближаване - Джанлоренцо Д'Анджело
- Алгоритмично инженерство и анализ на комплексни мрежи - Матиа Д'Емидио и Пирлюиги Кресценз
- Теория на алгоритмичната игра - Микеле Фламинми
РАЗШИРЕНИ КУРСОВЕ
- Разширено тестване - Инструменти и методологии - Лоренцо Бетини
- Разширено софтуерно анализиране - Massimiliano Di Penta
- Характеристики на взаимодействията от множество перспективи - Кристиан Кестнер
- От времето на автоматичните до стохастичните хибридни игри - Ким Гулдстранд Ларсен
- Проверка на софтуера - Omar Inverso
- Разпределени изчисления - Пиер Фрайниуд
Program taught in:
See 3 more programs offered by GSSI - Gran Sasso Science Institute »