Conferimento Laurea Magistrale Honoris Causa in Ingegneria - PowerPoint PPT Presentation

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 Quite large department: 69 professors and assistant professors • 70 PhD students and postdocs • • 25 staff units involved in research and administrative activities Operating mainly in information engineering area • small but highly qualified groups in civil and • chemical engineering

Teaching 3 degree courses (laurea) - Computer engineering, - Electronic engineering, - Food engineering 4 master courses (laurea magistrale) - Computer engineering, - Electronic engineering, - Telecommunica6ons Engineering - Automa6on Engineering

Teaching PhD program in - Informa6on and Communica6on Technologies Enrollment 2017/18 - Food Engineering 40 - Electronic Engineering 110 - Computer Engineering 230 (the largest number in south Italy aDer Naples “Federico II”)

Research activities • Mainly in the InformaCon Engineering Area (Computer Science and Engineering, Electronics, Telecommunica6ons, Automa6on, Opera6on Research, …) • Relevant ac6vites in Civil Enginnering, Chemical Engineering, water resource and environment • Largest group in computer engineering in south Italy (the same number as Naples “Federico II”)

Research activities • The DIMES department is one of 352 italian departments recognized as excellent for research with a ranking 99,5/100 • Ranking Computer Engineering 100/100. Shanghai Ranking – Relevant contribu6on in • Electrical & Electronic Engineering (301-400), • Food Science & Technology (151-200), • Computer Science & Engineering (301-400), • Water Resource (posizione 151-200),

Technology transfer and projects Significant contribu6on to the development of ICT in the area of Cosenza (“Cra6 valley”) and in Calabria. In the last 5 years • 23 european projects (founds 2.6 millions) • 79 na6onal projects (founds for 29 millions)

Ron Fagin’s Results Ron’s work has been: • very influen6al; • it affected both theory and prac6ce of compu6ng; • It has influenced the research career of many of us. Research results addressed in the lauda6o of prof. Luigi Palopoli

Ron Fagin’s Results - Relevance Three main aspects: Ron’s results are part of the student’s textbooks in databases, theore6cal computer science, computa6onal complexity, knowledge representa6on, ….

Ron Fagin Results - Awards • 8 IBM Outstanding Innova6on Award, ( 1981, 1981, 1987, 1992, 2001, 2002, 2006, 2009), • 6 IBM Research Division Accomplishment (2000, 2001, 2005, 2007, 2009, 2014) • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11, ICDT 2003-13, PODS 2004-2014), • Gems of PODS 2016, • Goedel Price 2014, • SIGMOD Edgar F. Codd Innova6ons Award (2004) • Fellows: IBM, ACM, IEEE, American Associa6on for the Advancement of Science • Member of the Na6onal Academy of Engineering, American Academy of Arts and Sciences • IEEE Computer Society W. Wallace McDowell Award, • Named Docteur Honoris Causa, University of Paris, 2001 • “Ron Fagin Special Event" was held at the 2016 ACM SIGMOD/PODS Conference in honor of Ron Fagin's influen6al and long-las6ng research contribu6ons to the principles of database systems”.

Ron Fagin’s Results - Awards • 8 IBM Outstanding Innova6on Award, ( 1981, 1981, 1987, 1992, 2001, 2002, 2006, 2009), • 6 IBM Research Division Accomplishment (2000, 2001, 2005, 2007, 2009, 2014) • Best papers (IJCAI 1985, PODS 2001, IBM res. Paper 2005, ICDT 2010, 1015, …) • Test-of-6me (PODS 2001-11, ICDT 2003-13, PODS 2004-2014), • Gems of PODS 2016, • Goedel Price 2014, • SIGMOD Edgar F. Codd Innova6ons Award (2004) • Fellows: IBM, ACM, IEEE, American Associa6on for the Advancement of Science • Member of the Na6onal Academy of Engineering, American Academy of Arts and Sciences • IEEE Computer Society W. Wallace McDowell Award, • Named Docteur Honoris Causa, University of Paris, 2001 • “Ron Fagin Special Event" was held at the 2016 ACM SIGMOD/PODS Conference in honor of Ron Fagin's influenCal and long-lasCng research contribuCons to the principles of database systems”.

Ron Fagin’s Results – Quality Originality, Elegance (simplicity and effec6vess), Beauty. • Original ideas, • Elegant defini6ons, • Beau6ful results and proofs.

Ron Fagin’s Results - Quality Every na6on in the map has at least two bordering na6ons? ∀ x in Na6on ∃ y, z ∈ Na6on. (x,y) ∈ Border ∧ (x,z) ∈ Border ∧ x ≠ y Can the map be colored using only three colors? ∃ 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) Fantas6c and surprising result! • No Turing machine • No computa6onal model (determinis6c/nondeterminis6c) • No 6me • Just logic!

Ron Fagin – Results Elegance Originality, Elegance and Beauty are constant characteris6cs of Ron’s works. • Original ideas • have been arrac6ve for further works Elegant defini6ons • allowed to have stable concepts • Beau6ful proofs • opened new direc6ons.

The essence of Ron’s work has been to make complicated things simple If many of us could see further our limited horizon, it was only by standing on the shoulders of giants Thank you

In virtù dei poteri conferi6ci dal magnifico rerore, e per suo tramite dalla Repubblica Italiana, noi prof. Sergio Greco, direrore del Dipar6mento di Ingegneria Informa6ca, Modellis6ca, Elerronica e Sistemis6ca, vista la delibera del dipar6mento di Ingegneria Informa6ca, Modellis6ca, Elerronica e Sistemis6ca del 1 febbraio 2017, vista la delibera del Senato Accademico dell’Università della Calabria del 21 febbraio 2017, vista l’approvazione del Ministero dell'Istruzione, dell'Università e della Ricerca del 30/05/2017, ai sensi dell'art.169 del Regio Decreto n.1592 del 31.8.1933, conferiamo al doror Ronald Fagin, la laurea magistrale honoris causa in Ingegneria Informa6ca. Il riconoscimento viene conferito per i suoi eccellen6 risulta6 di ricerca nei serori delle basi di da6, della rappresentazione della conoscenza, della teoria dei modelli fini6 e della complessità computazionale.

By virtue of the powers conferred to us by the magnificent rector, and through him by the Italian Republic, we prof. Sergio Greco, Director of the Department of Computer Engineering, Modeling, Electronics and Systems, having regard to the decision of the Department of Computer Engineering, Modeling, Electronics and Systems, dated February 1, 2017, having regard to the resolu6on of the Academic Senate of the University of Calabria dated February 21, 2017, having regard to the approval of the Ministry of Educa6on, University and Research of May 30, 2017, pursuant to art.169 of Royal Decree No. 1592 of August 31 , 1933, we confer to Dr. Ronald Fagin, the Laurea Magistrale with Honor in Computer Engineering. The recogni6on is given for his excellent research results in the fields of databases, knowledge representa6on , finite model theory and computa6onal complexity.