Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia

Transcript

1 Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia CURRICULUM BREVE Stefano Bistarelli, laureato con lode in Scienze dell Informazione presso l università di Pisa nell aprile 1994, consegue nell aprile 2001 il titolo di dottore di Ricerca con la tesi Soft Constraint Solving and Programming che vince due importanti premi dell informatica italiana: - Migliore tesi in Informatica teorica (premio assegnato dal capitolo italiano della European Association of Theoretical Computer Science (EATCS) ), e - Migliore neo dottore di Ricerca In Intelligenza Artificiale (premio assegnato dall Associazione Italiana per l Intelligenza Artificiale (AI*IA)) Inoltre, alcuni anni più tardi (2004), una versione estesa della tesi di dottorato è stata pubblicata come libro da Springer sulla collana Jacketed LNCS con il titolo "Semirings for Soft Constraint Solving and Programming". Dopo un assegno di ricerca presso l Università di Padova in ambito security, si sposta all istituto di Informatica e telematica (IIT) del CNR a Pisa per una posizione di PosDoc neglistessi temi. Qui è nominato dallo IIT-CNR di Pisa per l'assegnazione del Cor Baayen Award e selezionato come candidato per l'italia per il premio. (Dicembre 2002). Nel Settembre 2002 diventa ricercatore presso l Università degli Studi G. D Annunzio di Chieti- Pescara e Professore Associato nel settembre Nel 2008 si trasferisce come Professore Associato presso l Università di Perugia. Dal 2002 ad oggi continua anche la sua collaborazione di ricerca presso l Istituto di Informatica e Telematica del CNR di Pisa. Per la sua attività di ricerca in campo Constraint Solving and Programming e in campo Security ha avuto e continua ad avere ampissima collaborazione internazionale con invited talks e visite presso università e centri di ricerca (INRIA Parigi; IC-Park Imperial College Londra; Dipartimento di Linguaggi e Sistemi Informatici, Barcellona; Istituto di Logica, Linguaggi e Computazione Amsterdam; Istituto di Informatica LMU Monaco; S.R.I. San Francisco; Chinese University of HongKong, Cork Constraint Computational Centre e Dipartimento di Computer Science, Cork, Irlanda); I suoi interessi di ricerca spaziano dalla Artificial Intelligence ai linguaggi di programmazione, con particolare attenzione alla programmazione con vincoli. Lavora anche sulla sicurezza informatica e recentemente in economia. A oggi la sua opera conta più di 182 (non auto) citazioni (CiteSeer ( più di 120 delle sue pubblicazioni sono censite da DBLP ( e il suo h-index e g-index sono rispettivamente 22 e 49 (considerando bibliografia disponibile su Google scholar ). Ha organizzato diversi workshop su vincoli soft e Preferenze e su Vincoli e sicurezza ; negli anni è stato chair della track di Intelligenza Artificiale al Simposio ACM su Applied Computing (SAC) e nel periodo è stato anche chair della track su constraints alla conferenza della Florida Artificial Intelligence Research Society (FLAIRS). Attualmente (e dal 2005), è chair della track su vincoli al Simposio ACM su Applied Computing (SAC). Recentemente (nel 2011) ha organizzato CP2011 a Perugia. Contribuisce alla comunità dal 1998 (publicity chair a CP1998). Da quella data collabora come PC member o revisore di numerose conferenze (CP, IJCAI, FLAIR, SAC, SAFECOMP, ERCIM CSCLP, ECAI, PPDP, concur, PKDD, PADL, ILP, ESORICS, ICTAI, ESOP e altri) e riviste (ENTCS, TCS, Fuzzy Systems IEEE, JAIR, ai, AIJ, IJAIT, Algorithmica, Constraint, Joh e altri.

2

3 Dettaglio attività Didattica ultimo triennio ( ) Docente del corso Sicurezza Informatica (6 CFU) e Sistemi di Vincoli (6 CFU) laurea Specialistica in Informatica. Docente del corso Teoria dell informazione I (mutuato) (6 CFU) laurea Specialistica in Matematica. Docente del corso Informatica (1 CFU), laurea in Logopedia. Docente del corso Didattica dei sistemi e dei metodi per l'elaborazione dell'informazione con laboratorio (I Modulo) Tirocinio Formattivo Attivo (TFA) Docente del corso Sicurezza Informatica (6 CFU) laurea Specialistica in Informatica. Docente del corso Programmazione I (9 CFU) laurea Triennale in Informatica. Docente del corso Informatica (1 CFU), laurea Triennale in Logopedia. Docente del corso Scienze Comportamentali e Metodologia Scientifica (MODULO: Informatica) (4 CFU), laurea a Ciclo unico in Odontoiatria e protesi dentaria. Docente del corso Fisica, Biologia applicata e Informatica (MODULO: Informatica) (4 CFU), laurea Triennale in Ostetricia. Docente del corso Sicurezza Informatica (6 CFU) e Sistemi di Vincoli (6 CFU) laurea Magistrale in Informatica. Docente del corso Programmazione I (9 CFU) laurea Triennale in Informatica. Docente del corso Informatica (1 CFU), laurea Triennale in Logopedia. Docente del corso Scienze Comportamentali e Metodologia Scientifica (MODULO: Informatica) (4 CFU), laurea a Ciclo unico in Odontoiatria e protesi dentaria. Docente del corso Fisica, Biologia applicata e Informatica (MODULO: Informatica) (4 CFU), laurea Triennale in Ostetricia. Attività collaterali relative alla didattica Membro del collegio dei docenti del Dottorato Matematica ed informatica per la elaborazione e la rappresentazione dell'informazione e della conoscenza ciclo XXVIII. Membro del collegio dei docenti del Dottorato Matematica ed informatica per la elaborazione e la rappresentazione dell'informazione e della conoscenza ciclo XXIX (Fondo per il Sostegno dei Giovani). Membro del collegio dei docenti del Dottorato Science and Technology ciclo XXX. Responsabile della Divulgazione e Comunicazione, area informatica della Facolta di SS.MM.FF.NN., Universita di Perugia ( ). Membro della Commissione Paritetica per la didattica del corso di laurea in Informatica e Informatica Specialistica, Universita di Perugia ( ) Membro del Comitato di autovalutazione del processo sperimentale di autovalutazione promosso dalla Fondazione CRUI e denominato Laboratorio "CAF-Universita ", Universita di Perugia ( ). Membro dell EQANIE expert auditors pool (2010-oggi).

4 Referente per l ios Developer University Program per il Dipartimento di Matematica e Informatica (unipg) (2010-oggi). Responsabile per la Qualità della Didattica del Corso di Laurea in Informatica e Magistrale in Informatica, Universita di Perugia (2013-oggi) Membro della commissione del riesame per l intercorso di laurea in Informatica e Informatica Magistrale, Universita di Perugia (2013-oggi)

5 Dettaglio attività Scientifica ultimo triennio ( ) La sua attività di ricerca ha per oggetto la constraint solving e programmino, e può quindi essere collocata a cavallo tra l Intelligenza Artificiale e i linguaggi di programmazione. In particolare la sua ricerca è dedicata ai vincoli soft, che permettono una maggiore flessibilità e potenza espressiva dei vincoli classici, in quanto utilizzati in situazioni reali dove i vincoli non devono poter essere rilasciati o in condizioni in cui l utente vuol esprimere preferenze tra più soluzioni possibili. Nel triennio ha partecipato come coordinatore a vari progetti di ricerca e organizzazione di eventi internazionali. Nel triennio vanta la pubblicazione di 7 riviste e di 16 pubblicazioni in conferenze internazionali con revisore e proceedings ufficiali e 3 curatele di atti di convegno (vedi elenco allegato). Organizzazione/PC member/chair di conferenze 2011 Chair of the Constraint Solving and Programming Track at the ACM Symposium on Applied Computing (SAC2011) Conference Chair of CP2011 Program Committee member for CP2011, SOFT2011, CILC Chair of the Constraint Solving and Programming Track at the ACM Symposium on Applied Computing (SAC2012) Program Committee member for M-PREF12, CP Chair of the Constraint Solving and Programming Track at the ACM Symposium on Applied Computing (SAC2013) Program Committee member for M-PREF2013, IFIPTM2013, CPAIOR2013, CLIMA XIV, AI*IA Chair of the Constraint Solving and Programming Track at the ACM Symposium on Applied Computing (SAC2014) and of ICTCS2014 Program Committee member for M-PREF14, GramSec14, CLIMA2014, CILC2014 Coordinamento Gruppi/progetti di ricerca 11/ /2014: ICT COST Action IC1003: "European Network on Quality of Experience in Multimedia Systems and Services (QUALINET)". 48 mesi. MC member : "Fairness, Equita' e Linguaggi.", progetto INDAM-GNCS. 12 mesi. Responsabile Partecipazione a Gruppi/progetti di ricerca COST Action IC0602: Algorithmic Decision Theory - COST ACTION IC Agreement Technologies oggi Associated Researcher del Information Society Technologies (IST) project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive) ASCENS. Membro dell'european Network for Social Intelligence (SINTELNET).

6 PRIN : Metodi logici per il trattamento dell'informazione COST Action IC1205: Computational Social Choice. Responsabile scientifico in accordi di collaborazione per ricerca con aziende nazionali: : Responsabile scientifico nell'accordo di collaborazione tra Dipartimento di Matematica e Informatica, Università di Perugia e YouCo S.r.l.; "Studio, Sviluppo e Sperimentazione di software per dispositivi mobili (ios e android)". Abilitazioni e riconoscimenti per l attività scientifica 2012: Invited tutorial: Francesco Santini and Stephano Bistarelli. Semiring-based Constraint Models and Frameworks for Security-related Scenarios, 7th International Conference on Risks and Security of Internet and Systems (CRiSIS 2012), Cork, Ireland, October 10-12, 2012 (published on-line by IEEE Xplore and extended version on special issue of the International Journal of Secure Software Engineering (IJSSE)). 2014: Abilitazione Scientifica Nazionale Professore Ordinario SSD INF/01. Collaborazioni di Ricerca: Dal 2002 ad oggi associato al Gruppo Nazionale per il Calcolo Scientifico (GNCS) INDAM; Dal 2003 ad oggi Collaboratore Scientifico CNR di PISA - Istituto di Informatica e Telematica Membro esterno commissione valutazione dottorato Luis Pino Duque, Ecole Polytechnique (Paris) Altre attività collaterali alla ricerca interne all ateneo Membro del comitato d'ateneo per la valutazione della ricerca CIVR per l'area 01 (Scienze Matematiche e Informatiche), Universita di Perugia ( ). Responsabile della Divulgazione e Comunicazione, corso di laurea in Informatica, Universita di Perugia (2010-oggi). Membro del Comitato Universitario di Bioetica, Universita di Perugia (2011-oggi) Membro della Commissione VQR del dipartimento di Matematica e Informatica, Universita di Perugia (2014-oggi) Responsabile del CINI (Consorzio Interuniversitario Nazionale per l Informatica) CyberSecurity Lab per l ateneo di Perugia (2014-oggi) Data: 29 settembre 2015