Nicola Leone
{{short description|Italian computer scientist}}
{{Infobox scientist
| name = Nicola Leone
| image =Nicola Leone.jpg
| caption =
| birth_date = 28 February 1963
| birth_place = Diamante, Italy
| nationality = Italian
| fields = Artificial intelligence, knowledge representation and reasoning, and database theory
| workplaces = University of Calabria
TU Wien
| alma_mater = University of Calabria
| awards =
- Academia Europaea
- EurAI Fellow
- ACM Test-of-Time Award (2009)
- ALP Test-of-Time Award (2018)
| website = {{URL|mat.unical.it/leone/wiki/HomePage}}
}}
Nicola Leone is an Italian computer scientist who works in the areas of artificial intelligence, knowledge representation and reasoning, and database theory.{{cite web |title="Siamo i campioni dell'informatica". Benvenuti al Mit. Anzi, a Cosenza |url=https://rep.repubblica.it/pwa/anteprima/2019/05/28/news/_siamo_i_campioni_dell_informatica_benvenuti_al_mit_anzi_a_cosenza-227401628/?refresh_ce |website=la Repubblica|date=28 May 2019 }} Leone is currently the rector of the University of Calabria and a professor of computer science.{{Cite web|url=https://www.ansa.it/sito/notizie/cronaca/2019/07/03/nicola-leone-nuovo-rettore-unical_beb9b438-ec31-4eb0-96c8-47dcff413cf0.html|title=Nicola Leone nuovo rettore Unical|website=Agenzia Nazionale Stampa Associata|date=3 July 2019 }}{{Cite web|url=https://www.quotidianodelsud.it/calabria/cosenza/societa-cultura/culturaeistruzione/2019/07/03/rende-nicola-leone-e-il-nuovo-rettore-dellunical-il-docente-ordinario-di-informatica-ha-battuto-perrelli/|title=Rende, Nicola Leone è il nuovo rettore dell'Unical|website=il Quotidiano del Sud}} Previously, he was a professor of Database Systems at the TU Wien.{{Cite web|url=https://www.dbai.tuwien.ac.at/staff/leone/|title=DBAI -- Prof. Nicola Leone|website=TU Wien}}
Research work
Leone has published more than 250 scientific articles in the areas of artificial intelligence, knowledge representation and reasoning, and database theory.{{cite news |title=Università della Calabria, il più grande campus d'Italia alla prova del post Covid |url=https://www.repubblica.it/dossier/scuola/universita-2020-2021/2020/08/03/news/universita_della_calabria_il_piu_grande_campus_d_italia_alla_prova_del_post_covid-263655136/ |work=la Repubblica |date=3 August 2020 |language=it}}
In the area of artificial intelligence and knowledge representation and reasoning, he is best known for his influential early work on answer set programming (ASP)
and for the development of DLV, a pioneering system for knowledge representation and reasoning, which was the very first successful attempt to fully support disjunction in the datalog language, achieving the possibility to compute problems of high complexity, up to NP.
To the field of database theory he mainly contributed through the invention of hypertree decomposition, a framework for obtaining tractable structural classes of conjunctive queries, and a generalisation of the notion of tree decomposition from graph theory. This work has also had substantial impact in artificial intelligence, since it is known that the problem of evaluating conjunctive queries on relational databases is equivalent to the constraint satisfaction problem{{Cite journal | doi = 10.1006/jcss.2000.1713| title = Conjunctive-Query Containment and Constraint Satisfaction| journal = Journal of Computer and System Sciences| volume = 61| issue = 2| pages = 302–332| year = 2000| last1 = Kolaitis | first1 = P.G. | last2 = Vardi | first2 = M.Y.| doi-access = free}}
Awards and honours
- Fellow of the European Coordinating Committee for Artificial Intelligence (EurAI).{{Cite web|url=https://www.eurai.org/awards_and_grants/fellows|title=Fellows|website=European Association for Artificial Intelligence}}
- Member of the Academia Europaea.{{Cite web|url=https://www.ae-info.org/ae/Member/Leone_Nicola|title=Academia Europaea|website=Academia Europaea}}
- Honorary professor at the TU Wien.{{Cite web|url=https://informatics.tuwien.ac.at/stories-1760|title=Carlo Ghezzi and Nicola Leone received Academic Commendation|website=TU Wien}}
- He won many Best-Paper award in logic programming conferences,{{Cite web|url=http://www.researchitaly.it/en/success-stories/researchers-at-the-university-of-calabria-awarded-the-prize-for-best-research-on-logic-programming/|title=Researchers at the University of Calabria awarded the prize for best research on Logic Programming|website=ResearchItaly}}{{Cite web|url=http://www.researchitaly.it/en/success-stories/university-of-calabria-wins-once-again-with-artificial-intelligence/|title=University of Calabria wins once again with Artificial Intelligence|website=ResearchItaly}} and he was awarded two Test-of-Time Awards, by the Association for Computing Machinery (ACM) (2009),{{Cite web|url=https://sigmod.org/pods/acm-pods-alberto-o-mendelzon-test-of-time-award/|title=ACM PODS Alberto O. Mendelzon Test-of-Time Award|website=SIGMOD}} and by the Association for Logic Programming (2018).{{Cite web|url=https://www.cs.nmsu.edu/ALP/2018/08/iclp-2018-conference-report/|title=ICLP 2018: Conference Report – Association for Logic Programming|first=Enrico|last=Pontelli|website=New Mexico State University}}
References
{{reflist}}
External links
- {{GoogleScholar|CfWxOHAAAAAJ}}
{{Authority control}}{{DEFAULTSORT:Leone, Nicola}}
Category:Italian computer scientists
Category:Members of Academia Europaea
Category:Fellows of the European Association for Artificial Intelligence
Category:People from the Province of Cosenza
Category:Heads of universities in Italy