Introductory lecture

PRE-Immigration 6th November Introduction to PHD program

 

For each pillar, the 2017/2018 PhD program is structured as follows
IMMIGRATION [7th November – 22th December ] The introductory course on the basics, main topics and research trends in the area
CORE [Jan – Apr ] Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges
Advanced [Apr – Jul]  Advanced courses on specific topics of interest for each pillar, with a strong focus on research results, techniques, and challenges

Courses

TypePillarNameLecturerLinkCalendar
ImmigrationFormal MethodsIntroduction to Formal MethodsLuca AcetoNov - Dec 2018
ImmigrationFormal MethodsFormal Methods at WorkLuca AcetoNov - Dec 2018
ImmigrationFormal MethodsQuantitative Formal MethodsCatia TrubianiNov - Dec 2018
ImmigrationSoftware EngineeringSoftware, Systems and ServicesLudovico Iovino + invited speakerslink8 Nov-21 Dec 2018
ImmigrationAlgorithmic Foundations of Modern NetworksDesign and Analysis of AlgorithmsMattia D'Emidio and Michele Flamminilink16 nov-15 Dec 2018
COREFormal MethodsModelling and Verification of Reactive SystemsRocco De NicolaJan 2019
COREFormal MethodsPrinciples of Model CheckingMichele LoretiFeb 2019
COREFormal MethodsPerformance ModelingMirco TribastoneMarch 2019
CORESoftware EngineeringSoftware Testing and Dependability.Antonia BertolinoTBA
CORESoftware EngineeringAbstraction, Modelling and ArchitectingPatrizio PelliccioneTBAFeb-March
CORESoftware EngineeringService Oriented Design for SustainabilityPatricia LagoTBAFeb-March
AdvancedSoftware EngineeringSoftware Architecture and beyondPaola InverardiTBA
AdvancedSoftware EngineeringTest-Driven DevelopmentLorenzo BettiniTBA
AdvancedSoftware EngineeringMulti-modelingAdrian RutleTBAApr-May
AdvancedFormal MethodsSoftware VerificationOmar InversoMay 2019