Conferimento Laurea Magistrale Honoris Causa in

Ingegneria Informatica

Laurea honoris causa in Computer Engineering

First laurea honoris causa conferred by the DIMES Department. First laurea honoris causa in the Engineering Area after more than 25 years Celebrate 25 years of the Computer Engineering laurea degree.

Laurea honoris causa conferred by the DIMES Department

•  Operating mainly in information engineering area •  small but highly qualified groups in civil and

chemical engineering

Quite large department: •  69 professors and assistant professors •  70 PhD students and postdocs •  25 staff units involved in research and administrative

activities

Teaching

3degreecourses(laurea)-  Computerengineering,-  Electronicengineering,-  Foodengineering

4mastercourses(laureamagistrale)-  Computerengineering,-  Electronicengineering,-  Telecommunica6onsEngineering-  Automa6onEngineering

Teaching

PhDprogramin-  Informa6onandCommunica6onTechnologies

Enrollment2017/18-  FoodEngineering 40-  ElectronicEngineering 110-  ComputerEngineering 230

(thelargestnumberinsouthItalyaDerNaples“FedericoII”)

Research activities

•  MainlyintheInformaConEngineeringArea(ComputerScienceandEngineering,Electronics,Telecommunica6ons,Automa6on,Opera6onResearch,…)

•  Relevantac6vitesinCivilEnginnering,ChemicalEngineering,waterresourceandenvironment

•  LargestgroupincomputerengineeringinsouthItaly(thesamenumberasNaples“FedericoII”)

Research activities

•  TheDIMESdepartmentisoneof352italiandepartmentsrecognizedasexcellentforresearchwitharanking99,5/100

ShanghaiRanking–Relevantcontribu6onin•  Electrical&ElectronicEngineering(301-400),•  FoodScience&Technology(151-200),•  ComputerScience&Engineering(301-400),•  WaterResource(posizione151-200),

•  RankingComputerEngineering100/100.

Technology transfer and projects

Significantcontribu6ontothedevelopmentofICTintheareaofCosenza(“Cra6valley”)andinCalabria.

Inthelast5years•  23europeanprojects(founds2.6millions)•  79na6onalprojects(foundsfor29millions)

Ron Fagin’s Results

Researchresultsaddressedinthelauda6oofprof.LuigiPalopoli

Ron’sworkhasbeen:•veryinfluen6al;•itaffectedboththeoryandprac6ceofcompu6ng;

•Ithasinfluencedtheresearchcareerofmanyofus.

Ron Fagin’s Results - Relevance

Ron’sresultsarepartofthestudent’stextbooksindatabases,theore6calcomputerscience,computa6onalcomplexity,knowledgerepresenta6on,….

Threemainaspects:

Ron Fagin Results - Awards

•  8IBMOutstandingInnova6onAward,(1981,1981,1987,1992,2001,2002,2006,2009),

•  6IBMResearchDivisionAccomplishment(2000,2001,2005,2007,2009,2014)•  Bestpapers(IJCAI1985,PODS2001,IBMres.Paper2005,ICDT2010,1015,…)•  Test-of-6me(PODS2001-11,ICDT2003-13,PODS2004-2014),•  GemsofPODS2016,•  GoedelPrice2014,•  SIGMODEdgarF.CoddInnova6onsAward(2004)•  Fellows:IBM,ACM,IEEE,AmericanAssocia6onfortheAdvancementofScience•  MemberoftheNa6onalAcademyofEngineering,AmericanAcademyofArts

andSciences•  IEEEComputerSocietyW.WallaceMcDowellAward,•  NamedDocteurHonorisCausa,UniversityofParis,2001•  “RonFaginSpecialEvent"washeldatthe2016ACMSIGMOD/PODSConference

inhonorofRonFagin'sinfluen6alandlong-las6ngresearchcontribu6onstotheprinciplesofdatabasesystems”.

Ron Fagin’s Results - Awards

•  8IBMOutstandingInnova6onAward,(1981,1981,1987,1992,2001,2002,2006,2009),

•  6IBMResearchDivisionAccomplishment(2000,2001,2005,2007,2009,2014)•  Bestpapers(IJCAI1985,PODS2001,IBMres.Paper2005,ICDT2010,1015,…)•  Test-of-6me(PODS2001-11,ICDT2003-13,PODS2004-2014),•  GemsofPODS2016,•  GoedelPrice2014,•  SIGMODEdgarF.CoddInnova6onsAward(2004)•  Fellows:IBM,ACM,IEEE,AmericanAssocia6onfortheAdvancementofScience•  MemberoftheNa6onalAcademyofEngineering,AmericanAcademyofArts

andSciences•  IEEEComputerSocietyW.WallaceMcDowellAward,•  NamedDocteurHonorisCausa,UniversityofParis,2001•  “RonFaginSpecialEvent"washeldatthe2016ACMSIGMOD/PODS

ConferenceinhonorofRonFagin'sinfluenCalandlong-lasCngresearchcontribuConstotheprinciplesofdatabasesystems”.

Ron Fagin’s Results – Quality

•  Originalideas,•  Elegantdefini6ons,•  Beau6fulresultsandproofs.

Originality,Elegance(simplicityandeffec6vess),Beauty.

Ron Fagin’s Results - Quality

Canthemapbecoloredusingonlythreecolors?

Fantas6candsurprisingresult!•NoTuringmachine•Nocomputa6onalmodel(determinis6c/nondeterminis6c)•No6me•Justlogic!

Everyna6oninthemaphasatleasttwoborderingna6ons?∀xinNa6on∃y,z∈Na6on.(x,y)∈Border∧(x,z)∈Border∧x≠y

∃Red∃Blue∃Tellow∀x,y∈Na6on.(x∈Red∨x∈Blue∨x∈Yellow)∧((x∈Red∧x∈Blue)∨(x∈Red∧x∈Yellow)∨(x∈Blue∧x∈Yellow))∧((x∈Red∧y∈Blue)∨(x∈Red∧y∈Yellow)∨(x∈Blue∧y∈Yellow)⇒(x,y)∉Border)

Ron Fagin – Results Elegance

Originality,EleganceandBeautyareconstantcharacteris6csofRon’sworks.•Originalideas

• havebeenarrac6veforfurtherworksElegantdefini6ons

•  allowedtohavestableconcepts•Beau6fulproofs

•openednewdirec6ons.

Ifmanyofuscouldseefurtherourlimitedhorizon,itwasonlybystandingontheshouldersofgiants

Thankyou

TheessenceofRon’sworkhasbeentomakecomplicatedthingssimple

Invirtùdeipotericonferi6cidalmagnificorerore,epersuotramitedallaRepubblicaItaliana,noiprof.SergioGreco,direroredelDipar6mentodiIngegneriaInforma6ca,Modellis6ca,ElerronicaeSistemis6ca,vistaladeliberadeldipar6mentodiIngegneriaInforma6ca,Modellis6ca,ElerronicaeSistemis6cadel1febbraio2017,vistaladeliberadelSenatoAccademicodell’UniversitàdellaCalabriadel21febbraio2017,vistal’approvazionedelMinisterodell'Istruzione,dell'UniversitàedellaRicercadel30/05/2017,aisensidell'art.169delRegioDecreton.1592del31.8.1933,conferiamoaldororRonaldFagin,lalaureamagistralehonoriscausainIngegneriaInforma6ca.Ilriconoscimentovieneconferitoperisuoieccellen6risulta6diricercaneiseroridellebasidida6,dellarappresentazionedellaconoscenza,dellateoriadeimodellifini6edellacomplessitàcomputazionale.

Byvirtueofthepowersconferredtousbythemagnificentrector,andthroughhimbytheItalianRepublic,weprof.SergioGreco,DirectoroftheDepartmentofComputerEngineering,Modeling,ElectronicsandSystems,havingregardtothedecisionoftheDepartmentofComputerEngineering,Modeling,ElectronicsandSystems,datedFebruary1,2017,havingregardtotheresolu6onoftheAcademicSenateoftheUniversityofCalabriadatedFebruary21,2017,havingregardtotheapprovaloftheMinistryofEduca6on,UniversityandResearchofMay30,2017,pursuanttoart.169ofRoyalDecreeNo.1592ofAugust31,1933,weconfertoDr.RonaldFagin,theLaureaMagistralewithHonorinComputerEngineering.Therecogni6onisgivenforhisexcellentresearchresultsinthefieldsofdatabases,knowledgerepresenta6on,finitemodeltheoryandcomputa6onalcomplexity.