myUniCal
myUniCal
University of CalabriaHRS4RUniversity of CalabriaHRS4R
University of CalabriaHRS4R
Search
Search
Address bookAddress book
Italian English Chinese French Portuguese Espanol Arabic Russian
Francesco CALIMERI - Professori Ordinari

Francesco CALIMERI

Professori Ordinari

Informatica (INFO-01/A)

Contacts
No items here
Francesco Calimeri currently serves as Associate Professor at the Department of Mathematics and Computer Science, University of Calabria, Italy. He received his "Laurea" degree (pretty equivalent to an Msc degree) in "Ingegneria Informatica" (Computer Science Engineering) in 2001, from the University of Calabria, Italy, where he also got a Ph.D. in Mathematics and Computer Science in 2006, after a series of on-contract scientific collaborations with private and public institutions, such as CIES (Centro di Ingegneria Economica e Sociale, Italy) or the Institute of Information Systems (Vienna University of Technology, Vienna, Austria). He features a solid teaching expertise, not only in academia, but also in broader contexts, such as within enterprise training projects. He has been involved in several international research projects, funded also by the European Commission and the Italian Ministry of Education University and Research, that counted both research and enterprise international partners. He served as program and organizing (co-)chair for several international scientific journal, conferences and events. His research activity ranges over several topics related to the fields of Logics and Artificial Intelligence (Knowledge Representation, Nonmonotonic Reasoning, Logic Programming, in particular Answer Set Programming, Data Integration) and Bioinformatics; the scientific papers he (co-)authored appeared in top-level journals and conferences, ranging from IJCAI, ICLP to JAIR, AIJ, and received several nomination/awards, such as the ICLP "Test of Time" Award. He is part of the team that designed and develops DLV, a major logic-based Artificial Intelligence systems worldwide, and he has been steadily devoted to technology transfer: he holds several patents, and is co-founder and CEO of DLVSystem ltd, an Italy-established company offering advanced AI-based services and products.
Curriculum Vitae et Studiorum of Francesco Calimeri =================================================== Current Position ---------------- I am a Associate Professor at the Department of Mathematics and Computer Science of the University of Calabria, Italy. I am a member of the board of the Doctoral Program in Mathematics and Informatics of the Department of Mathematics of the University of Calabria. I am a member of the board of the Informatics Course at the Faculty of Sciences of the University of Calabria. Biographic Notes and Covered Positions -------------------------------------- I was born in Lamezia Terme (Italy) on January 9th, 1976. I received my "Laurea" degree (pretty equivalent to an Msc degree) in "Ingegneria Informatica" (Computer Science Engineering) in 2001, from the University of Calabria, Italy. Since December 2014 I am Associate Professor at the Department of Mathematics and Computer Science of the University of Calabria, Italy. Since November 2006 I am a member of the board of the Doctoral Program in Mathematics and Informatics of the Department of Mathematics and Computer Science of the University of Calabria. Since November 2006 I am a member of the board of the Computer Science Course and the Mathematics Course at the Department of Mathematics and Computer Science of the University of Calabria, Italy. From October 2006 to December 2014 I served as tenured Assistant Professor (Ricercatore) at the Department of Mathematics and Computer Science of the University of Calabria, Italy. From January 2006 to October 2006 I worked as research fellow at the Department of Mathematics, University of Calabria, Italy, being on a research grant. The title was "Estensione della Programmazione Logica Disgiuntiva: Aspetti Linguistici". From November 2002 to October 2005 I've been on a grant as a Ph.D. student in Mathematics and Computer Science at the Department of Mathematics, University of Calabria, Italy. From January 2002 to December 2003 I worked for the company CIES (Centro di Ingegneria Economica e Sociale), in Rende, Italy, as consultant. From July 2001 to October 2001 I worked on a contract as scientific collaborator at the Department of Electronics, Computer Science and Systems Theory (DEIS), University of Calabria, Italy. From May 2000 to December 2000 I've been on a research grant from the Austrian Science Fund to work within the Database and Artificial Intelligence group at Institute of Information Systems of the Vienna University of Technology, Vienna, Austria. Scientific Research Activities ------------------------------ My research activity ranges over several topics related to the fields of Logic and Artificial Intelligence: some of them are Knowledge Representation, Nonmonotonic Reasoning, Logic Programming, in particular Answer Set Programming, and Data Integration. The most relevant results concern the design, the implementation and the extension of advanced data and knowledge base systems based on Logic Programming, in particular Answer Set Programming (ASP); notably, I am a member of the DLV team (http://www.dlvsystem.com), a state-of-the art ASP system. I've also been interested in extending such formalism, and in exploiting it in several settings, such as agent-based systems or ontology specification. Hence, my scientific research activity can be summarized as mainly focusing on: - optimization techniques for Answer Set Programming systems; - extensions of Answer Set Programming; - other research activities, such as: - tracing for Answer Set Programming systems; - data and information retrieval and web agents; - ontologies and languages for representing them; - bioinformatics. Research Projects ----------------- 2012-2014. Project "SILA - Sistema Integrato di Laboratori per l'Ambiente", funded by MIUR within the Programma Operativo Nazionale (PON) Ricerca e Competitività 2007-2013. The aim of the project is to provide solutions and services based on advanced artificial intelligence techniques for monitoring, controlling and protecting the environment. 2011-2014. Project "FRAME - Un FRAmework flessibile ed espandibile, fondato su MEtodologie e strumenti basati sulla conoscenza, per il consolidamento e la gestione ottimizzata di sistemi informativi complessi" code PON01_02477. The project, funded by the Italian Ministry of Education, University and Research, within the National Operational Programme (Programma Operativo Nazionale, PON) "Research and Competitiveness 2007-2013", aims at the creation of a framework supporting and making more efficient the use of corporate applications and informative bases, even if unstructured and with multimedia content, in a logic of service composition. The partners involved are: Siemens/Altos (leader), Exeura S.R.l., the University of Calabria, the Institute of High Performance Computing and Networking (Istituto di Calcolo e Reti ad alte Prestazioni, ICAR-CNR). 2010–2013. Project ‘‘E-Voting’’, carried out from ID Technology srl and the Department of Mathematics of the University of Calabria, within the program "PIA - Pacchetti Integrati di Agevolazione Industria, Artigianato e Servizi", fostered by the Regione Calabria. The aim is to provide software and services (SAAS, Software As A Service) for managing electoral consultations by enterprises or any kind of organizations that need to ask their members for opinions, or the choice of representatives. The proposed services feature everything is needed, i.e., calls, certifications, password management, registrations, virtual polling stations, vote counts, still guaranteeing security and data protection. 2010-2012. Project ‘‘LoDeN - Low-complexity Description logics with Nonmonotonic features’’, code 2008T4ENM4. The project, funded by the Italian Ministry of Education, University and Research, within the National Program ‘‘PRIN’’ 2008, aims at enriching the ontology languages for the semantic web to improve support to incremental ontology refinement, exception management, and semantic policy formulation. One of the main objectives of LoDeN is extending OWL profiles such as OWL2EL and OWL2RL with inheritance and overriding (much like in object oriented languages) and other nonmonotonic features suitable for expressing open and closed policies, conflict resolution, etc. LoDeN will provide efficient, scalable reasoning mechanisms for these and other low-complexity nonmonotonic description logics, and query answering on such logics by means of Answer Set Programming. The partners involved are: University of Naples Federico II, the National Research Council (CNR) the University of Calabria, the University of Eastern Piedmont. 2010–2012. Project ‘‘Estensioni e Verticalizzazioni del Sistema di Intelligenza Artificiale DLV’’, led by DLVSYSTEM srl together with the Department of Mathematics of the University of Calabria, within the program "PIA - Pacchetti Integrati di Agevolazione Industria, Artigianato e Servizi", fostered by the Regione Calabria. The industrial research project aims at extending and enhancing the Artificial Intelligence system DLV, in order to strengthen its presence on the market and make it more competitive. july 2007–june 2010. I've been part of the scientific unit of "Obiettivo Realizzativo 3, Open Source" for Process Management and Business Process Intelligence, within the project "OpenKnowTech: Laboratorio di Tecnologie per la Integrazione, Gestione e Distribuzione di Dati, Processi e Conoscenze", aiming at developing a lab of open-source software technologies, in the context of a "distributed" and "federated" interoperability platform. Some of the purposes of the lab: support mobile and grid computing; make available innovative environment for classic business intelligence and emerging business process intelligence; develop methodologies and tools for the design and the development of OS software components, with particular attention to the Service Oriented Architecture (SOA); enable iteroperability between people, enterprises or institutions belonging to the same community such as an industrial cluster; experience and specialize open-source solutions for the technological districts of the Regione Calabria. june 2008–january 2009. I carried out research activities at the Department of Mathematics of the University of Calabria within the project "IDUM: Internet Diventa UMana". The project aimed at the development of an intelligent advisor that helps both employees and customers of a travel agency in finding the best possible travel solution in a short time. It can be seen as a "mediator" system finding the best match between the offers of the tour operators and the requests of the turists. Behind a web-based user interface, there is an intelligent core ontologies for both modeling the domain of discourse (i.e., geographic information, user preferences, and touristic offers, etc.) and storing the available data. Ontologies are automatically populated by extracting the information contained in the touristic leaflets produced by tour operators and received by the travel agency attached to email messages. IDUM tries to mimic the behavior of the typical employee of a travel agency by running a set of specifically devised logic programs that reason on the information contained in the ontology. The result is a system that is able to search in a huge database of automatically classified offers, combining the speed of computers with the knowledge of a travel agent. From November 2006 to November 2008 I've been involved in the project "Interlink: Sistemi basati sulla logica per la rappresentazione di conoscenza: estensioni e tecniche di ottimizzazione (Logic based systems for knowledge representation: extensions and optimization techniques)", II04CG8AGG. The project, funded by the Italian Ministry of Education, University and Research, focuses on a tight cooperation between the University of Calabria and the Vienna University of Technology. From 2004 to 2005 I worked within at the project "ONTO-DLV: Un Ambiente Basato sulla Programmazione Logica Disgiuntiva per il Trattamento di Ontologie (A Disjunctive Logic Programming-based environment for the handling of ontologies)". The project lasted 24-months, and featured the following partners: University of Calabria, Istituto di Calcolo e Reti ad alte prestazioni (ICAR-CNR), Exeura s.r.l. (Cosenza, Italy). The project focused on the definition of a KRR (Knowledge Representation and Reasoning) system, called ONTO-DLV, suitable for ontology representation and automated reasoning, and on the implementation and validation of a prototype. From September 2003 to September 2005 I worked within the Calabrian unit participating in the project WASP: Working Group on Answer Set Programming (http://wasp.unime.it/), IST-2001-37004, funded by the European Commission within the European Commission Fifth Framework Programme (2002-2005). It has involved 17 European universities. General objective of the project was to study and extend computational logic methods and techniques based on Answer Set Programming (ASP). From April 2002 to September 2005 I've been involved in the project INFOMIX: Boosting Information Integration (http://www.mat.unical.it/infomix), IST-2001-33570, funded by the European Commission within the European Commission Fifth Framework Programme (2002-2005). The University of Calabria was the Main Contractor of the project, which has included 4 European partners. The project has led to the development of an advanced environment for information integration using the Computational Logic System DLV. From September 2003 to September 2004 I've been given an individual grant from the University of Calabria, Italy, within the project Giovani Ricercatori (D.R. n. 1233, 09/09/2002). I took part in a small research unit together with Giovambattista Ianni. From January 2002 to February 2004 I worked within the research unit of the University of Calabria participating in the project ICONS: Intelligent CONtent Management System (http://www.icons.rodan.pl), IST 2001-32429, funded by the European Commission within the European Commission Fifth Framework Programme (2002-2004). The project involved seven European partners, and implemented an advanced Content Management system. During 2001 I took part in the research unit of the Department of Electronics, Computer Science and Systems Theory (DEIS), University of Calabria, Italy, participating in the project D2I: Integrazione, Warehousing e Mining di Sorgenti Eterogenee, in cooperation with the Italian universities of Rome, Milan, Bologna, Modena. The aim of the project was defining a methodological framework for integration, warehousing and mining of heterogeneous sources. During 2000 I worked, at the Vienna University of Technology, within the team of the project P11580-MAT A Query System for Disjunctive Deductive Databases, funded by FWF (Austrian Science Funds) 1996- 1999. The project led to the implementation of the Artificial Intelligence System DLV (http://www.dlvsystem.com). Prominence and Visibility of the Scientific Activities ------------------------------------------------------ My works have been published in the proceedings of many widely respected international conferences and some journals; in addition, they had also a practical impact: it is worth noting that most of them have been implemented within many scientific projects. The Artificial Intelligence System DLV, developed by the research group I belong to, is recognized as the state-of-the-art among Disjunctive Logic Programming Systems. DLV is currently used by Universities and research centers all over the world; its user manual has been recently translated even into Russian and Polish (see http://www.dlvsystem.com). Scientific and Academic Activities ---------------------------------- I've been member of the program committees of some important international workshops, such as: RCRA 2008 (Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion), co-located with the 24th International Conference on Logic Programming (ICLP 2008); LaSh 2008 (International Workshop on Logic and Search): Workshop on Logic and Search, Computation of Structures from Declarative Descriptions; RCRA 2011, co-located with the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011); CILC 2010 (25th Italian Conference on Computational Logic). I've been carrying out reviewing activities for several international journal and conferences; among them, I mention here JAIR (Journal of Artificial Intelligence Research), AMAI (Annals of Mathematics and Artificial Intelligence), AICOM (AI Communications, European Journal on Artificial Intelligence), Journal of Algorithms in Logic, Informatics and Cognition, LPNMR (International Conference on Logic Programming and Non Monotonic Reasoning), LPAR (International Conferences on Logic for Programming, Artificial Intelligence and Reasoning), KR (International Conference on Principles of Knowledge Representation and Reasoning), RCRA (Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion), LASH (International Workshop on Logic and Search), ESWC (European Semantic Web Conference), PADL (Practical Aspects of Declarative Language), ECAI (European Conference on Artificial Intelligence), NMR (International Workshop on Non-Monotonic Reasoning) WI-IAT (Web Intelligence and Intelligent Agent Technology), ASP (International Workshop on Answer Set Programming), SEA (Software Engineering for Answer Set Programming). Some other experiences follow. I've attended to many national and international conferences and workshops, usually giving a talk there. Among them, I mention here LPNMR, JELIA, RCRA. I've been vice-chair of Program Committee and Organizing Committee of the Third Answer Set Programming Competition, 2011. The Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006-2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. The Competition ran on two tracks: the Model & Solve Competition, held on an open problem encoding, on an open language basis, and open to any kind of system based on a declarative specification paradigm; and the System Competition, held on the basis of fixed, public problem encodings, written in a standard ASP language. The Competition provided a good opportunity to report on the state of the art within the ASP community, with a closer look to other formalisms and systems. The announcement of results and award winners took place in Vancouver, Canada, during the LPNMR'11 conference. I've been co-chair of the Organizing Committee of the 25th Italian Conference on Computational Logic (CILC 2010). During its years of recurrence, the annual conference organized by GULP has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. In September 2005 I've been chair of the Organizing Committee of the "Infomix Workshop on Data Integration", September 2005; the event was co-located with LPNMR'05 (http://www.mat.unical.it/infomixworkshop/) in Diamante (Italy), September 2005. I've been a member of the Organizing Committee of the Eighth International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR'05) (http://www.mat.unical.it/lpnmr05/); the conference took place in Diamante (Italy), September 2005. I've taken part, in November 2003, to the final revision of the EU-project ICONS, in Warsaw (Poland). I've been a member of the organizing committee of the eighth European Conference on Logics in AI (JELIA'02) (http://www.unical.it/jelia/), that took place in Cosenza (Italy). In 2005 (May-June) I've been guest at the "Institut fuer Informationssysteme" of the Vienna University of Technology, Vienna (Austria), within the scope of the project WASP (Working group on Answer Set Programming) (http://wasp.unime.it/). In may 2002 I've been guest at the Department of Computer Science of the University of Kentucky, Lexington KY (U.S.A.), in order to give several invited talks about my research on Disjunctive Logic Programming and the DLV system. The research activities related to my master degree thesis have been carried out within a stage at the "Institut fuer Informationssysteme" of the Vienna University of Technology, Vienna (Austria). Many of the results have been exploited in order to extend and improve the DLV system (http://www.dlvsystem.com). Didactics --------- I've been in charge of many teaching assignments; most of them, especially in the latest years, within the Faculty of Sciences of the University of Calabria, and the Informatics/Computer Science and Mathematics Courses there. I've been supervisor of many master degree thesis. I've been also lecturer in many postgraduate courses, within and outside the university. Other ----- I am one of the founders of DLVSystem ltd; I hav been Executive Officer there, and then Sole Director.
No items here
Back to previous page
Contacts