![Page 1: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/1.jpg)
Conferimento Laurea Magistrale Honoris Causa in
Ingegneria Informatica
![Page 2: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/2.jpg)
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.
![Page 3: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/3.jpg)
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
![Page 4: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/4.jpg)
Teaching
3degreecourses(laurea)- Computerengineering,- Electronicengineering,- Foodengineering
4mastercourses(laureamagistrale)- Computerengineering,- Electronicengineering,- Telecommunica6onsEngineering- Automa6onEngineering
![Page 5: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/5.jpg)
Teaching
PhDprogramin- Informa6onandCommunica6onTechnologies
Enrollment2017/18- FoodEngineering 40- ElectronicEngineering 110- ComputerEngineering 230
(thelargestnumberinsouthItalyaDerNaples“FedericoII”)
![Page 6: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/6.jpg)
Research activities
• MainlyintheInformaConEngineeringArea(ComputerScienceandEngineering,Electronics,Telecommunica6ons,Automa6on,Opera6onResearch,…)
• Relevantac6vitesinCivilEnginnering,ChemicalEngineering,waterresourceandenvironment
• LargestgroupincomputerengineeringinsouthItaly(thesamenumberasNaples“FedericoII”)
![Page 7: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/7.jpg)
Research activities
• TheDIMESdepartmentisoneof352italiandepartmentsrecognizedasexcellentforresearchwitharanking99,5/100
ShanghaiRanking–Relevantcontribu6onin• Electrical&ElectronicEngineering(301-400),• FoodScience&Technology(151-200),• ComputerScience&Engineering(301-400),• WaterResource(posizione151-200),
• RankingComputerEngineering100/100.
![Page 8: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/8.jpg)
Technology transfer and projects
Significantcontribu6ontothedevelopmentofICTintheareaofCosenza(“Cra6valley”)andinCalabria.
Inthelast5years• 23europeanprojects(founds2.6millions)• 79na6onalprojects(foundsfor29millions)
![Page 9: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/9.jpg)
Ron Fagin’s Results
Researchresultsaddressedinthelauda6oofprof.LuigiPalopoli
Ron’sworkhasbeen:•veryinfluen6al;•itaffectedboththeoryandprac6ceofcompu6ng;
•Ithasinfluencedtheresearchcareerofmanyofus.
![Page 10: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/10.jpg)
Ron Fagin’s Results - Relevance
Ron’sresultsarepartofthestudent’stextbooksindatabases,theore6calcomputerscience,computa6onalcomplexity,knowledgerepresenta6on,….
Threemainaspects:
![Page 11: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/11.jpg)
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”.
![Page 12: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/12.jpg)
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”.
![Page 13: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/13.jpg)
Ron Fagin’s Results – Quality
• Originalideas,• Elegantdefini6ons,• Beau6fulresultsandproofs.
Originality,Elegance(simplicityandeffec6vess),Beauty.
![Page 14: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/14.jpg)
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)
![Page 15: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/15.jpg)
Ron Fagin – Results Elegance
Originality,EleganceandBeautyareconstantcharacteris6csofRon’sworks.•Originalideas
• havebeenarrac6veforfurtherworksElegantdefini6ons
• allowedtohavestableconcepts•Beau6fulproofs
•openednewdirec6ons.
![Page 16: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/16.jpg)
Ifmanyofuscouldseefurtherourlimitedhorizon,itwasonlybystandingontheshouldersofgiants
Thankyou
TheessenceofRon’sworkhasbeentomakecomplicatedthingssimple
![Page 17: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/17.jpg)
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.
![Page 18: Conferimento Laurea Magistrale Honoris Causa in Ingegneria ... · • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11,](https://reader033.vdocuments.us/reader033/viewer/2022050518/5fa1d702e2d2ce60663a45c0/html5/thumbnails/18.jpg)
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.