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 Methods, Formal Methods at Work, Quantitative Formal MethodsLuca Aceto and Catia TrubianilinkFmW,
linkQfM
Nov - Dec 2018
ImmigrationSoftware EngineeringSoftware, Systems and ServicesLudovico Iovino + invited speakerslinkNov - Dec 2018
ImmigrationAlgorithmic Foundations of Modern NetworksDesign and Analysis of AlgorithmsMattia D'Emidio and Michele FlamminilinkNov - Dec 2018
COREFormal MethodsModelling and Verification of Reactive SystemsRocco De NicolalinkJan 2019
COREFormal MethodsPrinciples of Model CheckingMichele LoretiFeb 2019
COREFormal MethodsPerformance ModelingMirco TribastoneMarch 2019
CORESoftware EngineeringSoftware Testing and Dependability.Antonia BertolinoTBAMarch 25-28 + April 9-11 2019
CORESoftware EngineeringAbstraction, Modelling and ArchitectingPatrizio PelliccioneSchoology18-28 Feb
CORESoftware EngineeringGreen / Sustainable Software EngineeringPatricia LagoTBAFeb 4-7 2019
COREAlgorithmic Foundations of Modern NetworksApproximation AlgorithmsGianlorenzo D'AngelolinkJan 2019
COREAlgorithmic Foundations of Modern NetworksAlgorithmic Game TheoryMichele FlamminiJan 2019
COREAlgorithmic Foundations of Modern NetworksMachine LearningMarcello RestelliSlides11-15 Feb 2019
AdvancedFormal MethodsProbabilistic Model Checking Holger Hermanns TBAFebruary 2019
AdvancedFormal MethodsSymbolic Model CheckingAlessandro Cimatti TBAMay 2019
AdvancedFormal MethodsSoftware VerificationOmar InversoTBAMay 2019
AdvancedSoftware EngineeringSoftware Architecture and beyondPaola InverardiTBA
AdvancedSoftware EngineeringTest-Driven DevelopmentLorenzo BettiniTBA
AdvancedSoftware EngineeringMulti-level ModelingAdrian RutleTBAApr 15-18 2019
AdvancedAlgorithmic Foundations of Modern NetworksComputational Social ChoiceJerome LangMay 2019
AdvancedAlgorithmic Foundations of Modern NetworksFair division for indivisible goodsVangelis MarkakisJune 2019
AdvancedAlgorithmic Foundations of Modern NetworksExperts, Bandits, and Online LearningNicolò Cesa-BianchiJune 2019