conferimento laurea magistrale honoris causa in ingegneria ... · • best papers (ijcai 1985, pods...
TRANSCRIPT
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.