Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Francesco Buccafurri


Referee for: K.5.2, K.6.5, L.1.0, L.4.0, L.6.1, L.7.0, M.1, M.4, M.5
Institution: University of Reggio Calabria
Address: DIMET Department
University of Reggio Calabria
Reggio Calabria
Italy
Home Page: http://www.unirc.it/scheda_persona.php?id=576

Curriculum Vitae:

Francesco Buccafurri is a full professor of computer science in the Department of Computer Science, Electronics, Mathematics and Transportation (DIMET) at the University "Mediterranea" of Reggio Calabria, Italy. In 1991 he took the "Laurea" degree in Computer Science Engineering Summa cum laude (after a five year course) at the University of Calabria, Italy. From 1991-1992 he held a fellowship position at CRAI (Center for Research and Application in Computer Science - Rende (CS)) working on the topic: "logic-based knowledge base systems". In 1995 he took the PhD degree in computer science at the University of Calabria (after a three years course) with thesis "Ordered Logic for Knowledge Representation: Semantics, Complexity and Expressive Power" (original title: "Logica Ordinata per la Rappresentazione della Conoscenza: Semantica, Complessita' ed Espressività"). In 1996 he was visiting researcher at the Information System Department of the Vienna University of Technology, Austria, where he joined the Database and AI group and a scientific collaboration with such a group (in particular with Prof. Georg Gottlob and Prof. Thomas Eiter) started and is still alive. From 1995 to 1997 he was Temporary Professor (ex Art. 100 del DPR 382/80) at the University of Calabria. Since May 2, 1997 he holds a permanent position (first as an Assistant Professor, then as an Associate Professor and finally as a Full Professor) at the University of Reggio Calabria, Faculty of Engineering. There, he is the regular Professor of the course Theory of Computation (in the Laurea Specialistica in Telecommunication Engineering), the course C++ programming and Algorithms and Data Structures, the course Operating Systems (in the Laurea in Telecommunication Engineering), and the course Information Security (in the Laurea Magistrale in ICT Engineering).

Main Research Interests:

  • Logic Formalisms for Knowledge Representation
  • Information Security and E-government
  • Model Checking and Temporal Logics
  • Datastreams, Histograms and approximate OLAP
  • Intelligent Agents and User Profiling
  • Social Network Analysis and Peer-to-Peer Systems