Alessandro Provetti

Qualifica:
Professori Associati
SSD:
INF/01
Telefono:
090 6765505
Fax:
Email:
Struttura di appartenenza:

Elenco insegnamenti per l'anno accademico 2016/2017

Denominazione Insegnamento Corso di Studi Percorso
ESAME TEORICO PRATICO II ANNOFISICA MEDICAcomune

Elenco insegnamenti per l'anno accademico 2015/2016

Denominazione Insegnamento Corso di Studi Percorso
ALGORITMI E STRUTTURE DATIINFORMATICAcomune
ESAME TEORICO PRATICO II ANNOFISICA MEDICAcomune
INFORMATICA GENERALECONSULENTE DEL LAVORO E SCIENZE DEI SERVIZI GIURIDICISCIENZE DELLE INVESTIGAZIONI PRIVATE
LABORATORIO INFORMATICOFISICAcomune
SCIENZE DI BASETECNICHE DI NEUROFISIOPATOLOGIAcomune
STRUMENTI DI LABORATORIO ED ELABORAZIONI DATITECNICHE DI NEUROFISIOPATOLOGIAcomune

Orario di Ricevimento

GiornoOra inizioOra fineLuogo
Martedì 09:30 13:30Su appuntamento, prego annunciare la visita e i contenuti per e-mail. Stanza 11 della Sez. di Fisica teorica. Al primo piano dell'edificio principale dell'ex Facoltà di Scienze. V.le F. Stagno d'Alcontres, 31. Coordinate: @38.260658,15.599449
Note: Su appuntamento, prego annunciare la visita per e-mail.
1. Posizione attuale

Professore Associato d'Informatica presso l'Universita` di Messina, Facolta` di Scienze MM.FF.NN (dal 2001).

Dal 2010: Coordinatore dei corsi di Laurea triennale e magistrale in Informatica dell'Università di Messina.

Dal 2009. Long-term visitor di Oxford-Man Institute for Quantitative finance, Oxford University, UK.

Dal 2008: Affiliated Professor presso il Computer Science Department, Virginia Commonwealth University. Richmond VA, USA.

Dal 2000: Adjunct Professor presso il Computer Science Department, The University of Texas at El Paso. El Paso TX, USA.

2. Interessi di ricerca

Estrazione ed analisi di dati da reti sociali online:
--- Web data extraction and manipulation (1/2);
--- community detection, e
--- Recommender systems.

Ragionamento per default nel dominio Web/internet:
--- Web data extraction and manipulation (2/2);
--- modellazione e validazion di schemi di database relazionali (Entity-Relationship);
--- specifica e proprietà formali di routing policies in firewall, e
--- annotazione e filtro di spam basate su regole.

Answer Set Programming:
---specifica eseguibile di sistemi autonomi;
---calcolo efficente/approssimato di answer sets.

Rappresentazione della conoscenza:
---rappresentazione e ragionamento su dati Web;
---ragionamento su azioni;
---ragionamento su informazione incompleta (default);
---pianificazione in ambienti dinamici.

2.bis Riconoscimenti all'attivita' scientifica

Invited speaker del 9th Workshop on Multimedia, Distributed and Pervasive Systems (MDPS);} Messina, 2013.

Invited speaker del 6th Symp. of the Argentinian Society for Artificial Intelligence (ASAI); Cordoba, Argentina, 2004.

2.tris Trasferimento tecnologico

Proponente del brevetto "Metodo e sistema di gestione interattiva della consultazione e prenotazione
di farmaci prescrivibili e no."
Sottoposto all'Ufficio italiano brevetti (UIB) il 30.X.2013.


3. Servizio (sommario)

Proponente e coordinatore di "WASP: Working group on Answer Set Programming," un'iniziativa del quinto programma quadro dell'unione europea che ha coinvolto 17 universita' in 8 paesi comunitari.

Ideatore e Program chair (con Mauricio Osorio) del Latin-American Workshop on Nonmonotonic Reasoning (LANMR) che si celebra annualmente dal 2004, con atti sul CEUR Workshop proceedings.

Program e conference co-chair di ASP: the Int'l Workshop on Answer Set Programming.
- Edizione 2005 (con M. De Vos): Bath. CEUR Workshop proceedings.
- Edizione 2003 (con M. De Vos): Messina. CEUR Workshop proceedings.
- Edizione 2001 (con S. Tran Cao): AAAI Spring Symposium at Stanford University. AAAI Press.

Guest Editor di Theory and Practice of Logic Programming (TPLP): special issue on Answer Sets Programming, Luglio 2003.

Componente del comitato di programma di varie riviste e conferenze internazionali di Intelligenza Artificiale e Programmazione logica.

4. Partecipazione a progetti

2006-2008: coordinatore dell'unita' di Messina del progetto PRIN "DLP* in ambiti applicativi innovativi"

2002-2005: Coordinatore di "WASP: Working group on Answer Set Programming"
contratto IST-2001-37004 del Quinto programma quadro della Commissione europea,
iniziativa FET OPEN.

Coordinatore di vari progetti di ricerca d'ateneo (PRA):
2006-07 "Programmazione logica ed applicazioni in ambiti Web e di rete"
2005: "Web e Grid services con capacita' inferenziali"
2004 "Ragionamento con informazione semi-strutturata da sorgenti Web: oltre Lixto"
2002-2003: "Laboratorio di robotica cognitiva e visione".
2000-2001: progetto MURST Giovani ricercatori "Verso specifiche eseguibili di agenti autonomi". Universita` di Milano.

5. Esperienze professionali

Ricercatore universitario: Ottobre 2000 - Ottobre 2001
Dipartimento di Scienze dell'Informazione, Univ. di Milano.

Visiting professor: Settembre 1999 - Maggio 2000
Computer Science Dept., The University of Texas at El Paso,

Borsista Post-dottorale: Dicembre 1997 - Agosto 1999
Dipartimento di Scienze dell'Informazione, Univ. di Milano.

Ricercatore visitatore: Ottobre - Dicembre 1997
Departamento de Computacion, Universidad de La Coru~na, Spagna.

6. Titoli di studio

Dottorato di ricerca in Informatica giuridica, VII ciclo. Univ. di Bologna, 1996.

MSc in Foundations of Advanced Information Technology, Imperial College of Science, Technology and Medicine, Londra, 1992.

Laurea in Science dell'Informazione, Univ. di Milano, 1990.
Associate Professor of Computer Science, University of Messina, Dept. of Mathematics and Informatics (since 2001).

Since 2010: Director of undergraduate and graduate studies in Informatics, Univ. of Messina.

Since 2009. Long-term visitor di Oxford-Man Institute for Quantitative finance, Oxford University, UK.

Since 2008: Affiliated Professor to the Computer Science Department, Virginia Commonwealth University. Richmond VA, USA.

Since 2000: Adjunct Professor to the Computer Science Dept., University of Texas at El Paso, USA.


Research Interests

Extraction and analysis of data from Online Social Networks:
--- Web data extraction and manipulation;
--- community detection, and
--- Recommender systems.

Default reasoning in the Web/internet domain:
--- Web data extraction and manipulation;
--- modeling and validation of database design (Entity-Relationship schemata);
--- specification and formal properties of routing policies in firewalls, and
--- rule-based spam annotation and filtering.

Answer Set Programming: theory, practice and executable specification of autonomous systems.

Knowledge Representation: reasoning about actions and incomplete information.


Service (highlights)

Proposer and general coordinator of "WASP: Working group on Answer Set Programming"
A IST FP5 initiative that involved 17 universities in 8 EU countries.

Founder and Program chair (with Mauricio Osorio) of the Latin-American Workshop on Nonmonotonic Reasoning (LA-NMR). Mexico City, 2004; S. Luis Potosi, 2006. CEUR Worhshop proceedings.

Program and conference co-chair of ASP: the Int'l Workshop on Answer Set Programming.
-2001 edition (with S. Tran Cao) AAAI Spring Symposium at Stanford University. AAAI press.
-2003 edition (with M. De Vos) Messina. CEUR WS Proceedings.
-2005 edition (with M. De Vos) Bath. CEUR WS Proceedings.

Guest Editor for Theory and Practice of Logic Programming (TPLP): special issue on Answer Sets Programming, July 2003.
Cambridge Univ. Press.


Projects

2006-2008: coordinator of the Messina unit of the PRIN project: "DLP* in innovative application scenarios"
2002-05: Coordinator of "WASP: Working group on Answer Set Programming"
founded by the 5th Framework program of the European Commission, contract IST-2001-37004.

Coordinator of several intramural (U. of Messina) projects
2006-07 "Logic Programming and applications to Web and networking"
2005: "Web e Grid services with inferential capabilities"
2004 "Reasoning with semi-strcutured data from the Web : beyond Lixto"
2002-03: "Laboratory for cognitive robotics and vision"

2000-01: Coordinator of a "Young researcher" project "Towards executable autonomous agents specifications" of the University of Milan.


Professional Experience

Assistant Professor: Oct. 2000 - Oct. 2001
College of Natural, Mathematical and Physical Sciences, Univ. of Milan, Italy.

Visiting professor: Sept. 1999 - May 2000
CS Dept., Univ. of Texas at El Paso,

Post-doctoral researcher: Dec. 1997 - Aug. 1999
Information Sciences Dept., Univ. of Milan, Italy.

Visiting Researcher: Oct. - Dec. 1997
Departamento de Computacion, Universidad de La Coru~na, Spain.


Education

PhD in Informatics for Law applications, Univ. of Bologna, 1996.

MSc in Foundations of Advanced Information Technology, Imperial College, London, 1992.

BSc (Laurea)Final degree in Information Sciences, Univ. of Milan, 1990.
* Afferenze, qualifiche prelevate dal Database CSA » Carriere del Personale
» Inserisci Curriculum


Ultimo aggiornamento: 18/11/2017

Università degli Studi di Messina - Piazza Pugliatti, 1 - 98122 Messina - tel. +39 090 6761
Cod. Fiscale 80004070837 - P.IVA 00724160833