MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA


Anagrafe dei dottorati - a.a. 2013/2014
codice = DOT1311744


1. Informazioni generali



Ateneo Proponente

Università degli Studi di GENOVA


Corso di Dottorato

Denominazione del corso INFORMATICA / COMPUTER SCIENCE AND ENGINEERING 
Anno Accademico 2013/2014  
Ciclo XXIX 
Il corso è: Trasformazione da anagrafe 2012 
Data del bando 30/07/2013 
Data presunta di inizio del corso 01/01/2014 
Durata prevista 3 ANNI 
Dipartimento/Struttura scientifica proponente Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS) 
Dottorato in collaborazione con le imprese/dottorato industriale (art. 11 del regolamento): NO 
Il corso fa parte di una Scuola? NO 
Presenza di eventuali curricula? NO 


Trasformazione di Dottorati dall'anagrafe 2012

Ateneo Corso di Dottorato
Università degli Studi di GENOVA  DOT0511744 - INFORMATICA 
Università degli Studi di GENOVA  DOT0511941 - INGEGNERIA ELETTRONICA, INFORMATICA, DELLA ROBOTICA E DELLE TELECOMUNICAZIONI 


Ambito

Settori scientifico disciplinari interessati Macrosettore concorsuale interessato Aree interessate Indicare il peso percentuale di ciascuna area
INF/01  01/B - INFORMATICA  01 - Scienze matematiche e informatiche  70,00 
ING-INF/05  09/H - INGEGNERIA INFORMATICA  09 - Ingegneria industriale e dell'informazione  30,00 
TOTALE        100,00 


Tipo di organizzazione

1) Singola Università
 


Sede amministrativa

Ateneo Università degli Studi di GENOVA 
N° di borse finanziate 7 


Obiettivi formativi

Il corso e' finalizzato alla formazione di ricercatori in Informatica in grado di svolgere attivita' di ricerca autonoma sia in campo universitario che industriale.

Il piano formativo prevede la fruizione di corsi di specializzazione, ciascuno da valutarsi mediante una prova finale. Tali corsi possono essere specifici per il dottorato, mutuati da lauree magistrali, o tenuti a scuole di dottorato (fra cui, la scuola organizzata dal coordinamento nazionale dei dottorati in Informatica). Alla fine del primo anno il dottorando presenta una organica proposta di tesi, in cui identifica le problematiche di ricerca che intende affrontare. Lo stato di avanzamento della tesi, a partire dalla proposta, viene valutato annualmente da un'apposita commissione nominate dal Collegio dei docenti. Alla fine del terzo anno il dottorando sottomette una tesi (in inglese), che viene sottoposta al parere di almeno due revisori esterni. Un dottorando puo' trascorrere periodi di soggiorno presso centri di ricerca in Italia o all'estero.

Indicativamente il corso di dottorato prevede 40 CFU per attivita' formative, 120 per attivita' di ricerca, e 20 per stesura di tesi e proposta.

Le tematiche di ricerca del corso riguardano: Basi di dati e sistemi informativi, Grafica computazionale, Visione computazionale, Interazione uomo-macchina, Apprendimento statistico e soft computing, Linguaggi e metodi per sistemi software, Intelligenza Artificiale, Ingegneria del software, Sicurezza.


Sbocchi occupazionali e professionali previsti

I principali sbocchi occupazionali previsti dal corso di Dottorato sono: la carriera universitaria in Italia o all'estero, l'attività di ricerca presso enti di ricerca pubblici o privati, sia italiani che stranieri, l'attivita' di ricerca e aviluppo presso industrie italiane e straniere che operano nel settore dell'informatica, l'attivita' imprenditoriale attraverso la costituzione di spin-off.

Al fine di favorire una sbocco professionale nella direzione della ricerca industriale e verso il mercato internazionale i dottorandi sono molto spesso inseriti in progetti di collaborazione industriale a livello italiano e straniero e in progetti di ricerca internazionali che vedono coinvolti Universita', centri di ricerca e industrie italiane e straniere. Esistono collaborazioni consolidate
a livello italiano, europeo e statunitense.

Note



2. Collegio dei docenti



Membri del collegio (Personale Docente delle Università Italiane)

n. Cognome Nome Ateneo Dipartimento/Struttura Ruolo Qualifica Macro-settore concorsuale Area Ordine Stato inserimento pubblicazioni
1. DE FLORIANI   Leila       Coordinatore      01     non ancora inserite 
2. DELZANNO   Giorgio       Componente del gruppo dei 16 docenti      01     non ancora inserite 
3. PUPPO   Enrico       Componente del gruppo dei 16 docenti      01     non ancora inserite 
4. CATANIA   Barbara       Componente del gruppo dei 16 docenti      01     non ancora inserite 
5. GUERRINI   Giovanna       Componente del gruppo dei 16 docenti      01     non ancora inserite 
6. TACCHELLA   Armando       Componente del gruppo dei 16 docenti      09     non ancora inserite 
7. MOGGI   Eugenio       Altro Componente      01     non ancora inserite 
8. CAMURRI   Antonio       Componente del gruppo dei 16 docenti      09     non ancora inserite 
9. ARMANDO   Alessandro       Componente del gruppo dei 16 docenti      09     non ancora inserite 
10. ZUCCA   Elena       Componente del gruppo dei 16 docenti      01     non ancora inserite 
11. ODONE   Francesca       Componente del gruppo dei 16 docenti      01     non ancora inserite 
12. MASULLI   Francesco       Componente del gruppo dei 16 docenti      01     non ancora inserite 
13. NARIZZANO   Massimo       Altro Componente      09     non ancora inserite 
14. VERRI   Alessandro       Componente del gruppo dei 16 docenti      01     non ancora inserite 
15. REGGIO   Gianna       Componente del gruppo dei 16 docenti      01     non ancora inserite 
16. VOLPE   Gualtiero       Componente del gruppo dei 16 docenti      09     non ancora inserite 
17. ANCONA   Davide       Componente del gruppo dei 16 docenti      01     non ancora inserite 
18. MASCARDI   Viviana       Altro Componente      01     non ancora inserite 
19. RICCA   Filippo       Componente del gruppo dei 16 docenti      01     non ancora inserite 


Membri del collegio (Personale non accademico dipendente di altri Enti e Personale docente di Università Straniere)

n. Cognome Nome Ruolo Ateneo/Ente di appartenenza Tipo di ente: Paese Dipartimento/Struttura Qualifica Area ERC
1. BERTINO  Elisa  Altro Componente  Purdue University  Università straniera  Stati Uniti d'America  Computer Science  Esperti di cui all’art. 6, c.4  PE6 Computer science and info... 
2. SAMET  Hanan  Altro Componente  University of Maryland at College Park  Università straniera  Stati Uniti d'America  Computer Science  Esperti di cui all’art. 6, c.4  PE6 Computer science and info... 




Produzione scientifica dei membri del collegio dal 2008 al 2012: (Personale docente delle Università italiane)

n. Autore Eventuali altri autori Anno di pubblicazione Tipologia pubblicazione Titolo (della pubblicazione) Denominazione (rivista, editore, convegno, altro) ISSN/ISBN DOI Altre coordinate editoriali (vol, nn pagg..) Ordine
1. CAMURRI Antonio   G.VARNI;G.VOLPE;CAMURRI A   2010   Articolo in rivista   A System for Real-Time Multimodal Analysis of Nonverbal Affective Social Interaction in User-Centric Media   IEEE TRANSACTIONS ON MULTIMEDIA,,   ISSN: 1520-9210     vol. 12 p. 576 - 590    
2. CAMURRI Antonio   Ginevra Castellano;Marcello Mortillaro;Antonio Camurri;Gualtiero Volpe;Klaus Scherer   2008   Articolo in rivista   Automated Analysis of Body Movement in Emotionally Expressive Piano Performances   MUSIC PERCEPTION,,   ISSN: 0730-7829   10.1525/MP.2008.26.2.103   vol. 26(2) p. 103 - 119    
3. CAMURRI Antonio   S.CANAZZA;A. CAMURRI;I.FUJINAGA   2010   Articolo in rivista   Ethnic music audio documents: From preservation to fruition   SIGNAL PROCESSING,,   ISSN: 0165-1684     vol. 90 p. 977 - 980    
4. CAMURRI Antonio   Donald Glowinski;Nele Dael;Antonio Camurri;Gualtiero Volpe;Marcello Mortillaro;Klaus Scherer   2011   Articolo in rivista   Towards a Minimal Representation of Affective Gestures   IEEE TRANSACTIONS ON AFFECTIVE COMPUTING,,   ISSN: 1949-3045   10.1109/T-AFFC.2011.7   vol. 2(2) p. 106 - 118    
5. CAMURRI Antonio   Gualtiero Volpe;Antonio Camurri   2011   Articolo in rivista   A system for embodied social active listening to sound and music content   ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE,,   ISSN: 1556-4673   10.1145/2001416.2001418   vol. 4(1) p. 2:1 - 2:23    
6. DE FLORIANI Leila   S. BIASOTTI;L. DE FLORIANI;B. FALCIDIENO;P. FROSINI;D. GIORGI;C. LANDI;L.PAPALEO;M.SPAGNUOLO   2008   Articolo in rivista   Describing shapes by geometrical-topological properties of real functions   ACM COMPUTING SURVEYS,,   ISSN: 0360-0300     vol. 40 (4) p. 1 - 87    
7. DE FLORIANI Leila   K.WEISS;L. DE FLORIANI   2009   Articolo in rivista   Supercubes: A High-Level Primitive for Diamond Hierarchies   IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS,,   ISSN: 1077-2626     vol. 15(6) p. 1603 - 1610    
8. DE FLORIANI Leila   K. WEISS;L. DE FLORIANI   2009   Articolo in rivista   Diamond Hierarchies of Arbitrary Dimension   COMPUTER GRAPHICS FORUM,,   ISSN: 0167-7055     vol. 28 (5) p. 1289 - 1300    
9. DE FLORIANI Leila   K. Weiss;L. De Floriani   2011   Articolo in rivista   Simplex and Diamond Hierarchies: Models and Applications   COMPUTER GRAPHICS FORUM,,   ISSN: 0167-7055     vol. 30 p. 2127 - 2155    
10. DE FLORIANI Leila   L. Comic;L. De Floriani   2012   Articolo in rivista   Dimension-independent simplification and refinement of Morse complexes   GRAPHICAL MODELS,,   ISSN: 1524-0703   10.1016/j.gmod.2011.05.001   vol. 75 p. 261 - 285    
11. MOGGI Eugenio   JASKELIOFF M;E. MOGGI   2010   Articolo in rivista   Monad Transformers as Monoid Transformers   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2010.09.011   vol. 411 p. 4441 - 4466    
12. MASULLI Francesco   FILIPPONE M;CAMASTRA F;MASULLI F;ROVETTA S.   2008   Articolo in rivista   A survey of kernel and spectral methods for clustering   PATTERN RECOGNITION,,   ISSN: 0031-3203     vol. 41 p. 176 - 190    
13. MASULLI Francesco   F. MASULLI;S. MITRA   2009   Articolo in rivista   Natural Computing Methods in Bioinformatics: A Survey   INFORMATION FUSION,,   ISSN: 1566-2535     vol. 10 p. 211 - 216    
14. MASULLI Francesco   FILIPPONE M.;MASULLI F.;ROVETTA S.   2011   Articolo in rivista   Simulated annealing for supervised gene selection   SOFT COMPUTING,,   ISSN: 1432-7643   10.1007/s00500-010-0597-8   vol. 15 p. 1471 - 1482    
15. MASULLI Francesco   M. Filippone;F. Masulli;S. ROVETTA   2010   Articolo in rivista   Applying the Possibilistic c-Means Algorithm in Kernel-Induced Spaces   IEEE TRANSACTIONS ON FUZZY SYSTEMS,,   ISSN: 1063-6706   10.1109/TFUZZ.2010.2043440   vol. 18 p. 572 - 584    
16. MASULLI Francesco   S. Rovetta;F. Masulli;M. Filippone   2009   Articolo in rivista   Soft Ranking in Clustering   IMAGE AND VISION COMPUTING,,   ISSN: 0262-8856   10.1016/j.neucom.2008.11.015   vol. 25 p. 204 - 213    
17. PUPPO Enrico   E. PUPPO;D. PANOZZO   2009   Articolo in rivista   RGB Subdivision   IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS,,   ISSN: 1077-2626   10.1109/TVCG.2008.87   vol. 15(2) p. 259 - 310    
18. PUPPO Enrico   TARINI M;PIETRONI N;CIGNONI P;PANOZZO D;E. PUPPO   2010   Articolo in rivista   Practical quad mesh simplification   COMPUTER GRAPHICS FORUM,,   ISSN: 0167-7055     vol. 29(2) p. 407 - 418    
19. PUPPO Enrico   TARINI M;E. PUPPO;PANOZZO D;PIETRONI N;CIGNONI P   2011   Articolo in rivista   Simple Quad Domains for Field Aligned Mesh Parametrization   ACM TRANSACTIONS ON GRAPHICS,,   ISSN: 0730-0301   10.1145/2070781.2024176   vol. 30 (6) p. 142:1 - 142:12    
20. PUPPO Enrico   D. PANOZZO;E. PUPPO;M. TARINI;N. PIETRONI;P. CIGNONI   2011   Articolo in rivista   Automatic construction of quad-based subdivision surfaces using Fitmaps   IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS,,   ISSN: 1077-2626   10.1109/TVCG.2011.28   vol. 17(10) p. 1510 - 1520    
21. PUPPO Enrico   D. Panozzo;Y. Lipman;E. Puppo;D. Zorin   2012   Articolo in rivista   Fields on Symmetric Surfaces   ACM TRANSACTIONS ON GRAPHICS,,   ISSN: 0730-0301   10.1145/2185520.2185607   vol. 31(4) p. 111:1 - 111:12    
22. REGGIO Gianna   CHOPPY C;G. REGGIO   2010   Contributo in Atti di convegno   A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)   ,ACM New York, NY, USA,SAC 22-26 Marzo 2010 Seattle, WA, USA   ISBN: 9781605586397   10.1145/1774088.1774596   p. 2451 - 2458    
23. REGGIO Gianna   C. CHOPPY;G. REGGIO   2009   Contributo in Atti di convegno   A METHOD FOR DEVELOPING UML STATE MACHINES   ,ACM LOS ANGELS (USA),ACM SYMPOSIUM ON APPLIED COMPUTING (SAC) Marzo 9-12, 2009 Honolulu (USA)   ISBN: 9781605581668   10.1145/1529282.1529365   p. 382 - 388    
24. REGGIO Gianna   G. Reggio;F. Ricca;G. Scanniello;F. D. Cerbo;G. Dodero   2011   Contributo in volume (Capitolo o Saggio)   A Precise Style for Business Process Modelling: Results from Two Controlled Experiments   ,Springer BERLIN,   ISBN: 9783642244841     vol. 6981 p. 138 - 152    
25. REGGIO Gianna   C. Choppy;G. Reggio   2012   Contributo in volume (Capitolo o Saggio)   CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation   , Springer Verlag Berlin,   ISBN: 9783642284113   10.1007/978-3-642-28412-0_7   vol. 7137 p. 76 - 97    
26. REGGIO Gianna   C. Choppy;D. Hatebur;M. Heisel;G. Reggio   2012   Contributo in volume (Capitolo o Saggio)   Enterprise Applications: From Requirements to Design   ,IGI Global ,   ISBN: 9781466621992   10.4018/978-1-4666-2199-2.ch006   p. 96 - 117    
27. ARMANDO Alessandro   A. ARMANDO;BONACINA M.P;RANISE S;SCHULZ S   2009   Articolo in rivista   New results on rewrite-based satisfiability procedures   ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,,   ISSN: 1529-3785   10.1145/1459010.1459014   vol. 10 p. 1 - 51    
28. ARMANDO Alessandro   A. ARMANDO;L. COMPAGNA   2008   Articolo in rivista   SAT-based Model Checking for Security Protocols Analysis   INTERNATIONAL JOURNAL OF INFORMATION SECURITY,,   ISSN: 1615-5262   10.1007/s10207-007-0041-y   vol. 7 p. 3 - 32    
29. ARMANDO Alessandro   A. ARMANDO;S. RANISE   2012   Articolo in rivista   Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving   JOURNAL OF COMPUTER SECURITY,,   ISSN: 0926-227X   10.3233/JCS-2012-0461   vol. 20 p. 309 - 352    
30. ARMANDO Alessandro   Alessandro Armando;Roberto Carbone;Luca Compagna;Jorge Cuellar;Giancarlo Pellegrino;Alessandro Sorniotti   2012   Articolo in rivista   An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations   COMPUTERS & SECURITY,,   ISSN: 0167-4048   10.1016/j.cose.2012.08.007   p. 1 - 18    
31. ARMANDO Alessandro   A. Armando;E. Giunchiglia;M. Maratea;S. E. Ponta   2012   Articolo in rivista   An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints   JOURNAL OF COMPUTER AND SYSTEM SCIENCES,,   ISSN: 0022-0000     vol. 1    
32. VERRI Alessandro   FARDIN P;BARLA A;MOSCI S;ROSASCO L;VERRI A;CARON H;MOLENAAR J;ORA I;EVA A;PUPPO M;VARESIO L   2010   Articolo in rivista   A Biology-driven Approach Identifies the Hypoxia Gene Signature as a Predictor of the Outcome of Neuroblastoma Patients   MOLECULAR CANCER,,   ISSN: 1476-4598     vol. 9 p. 185 - 199    
33. VERRI Alessandro   DESTRERO A;DE MOL C;ODONE F;VERRI A   2009   Articolo in rivista   A Sparsity-Enforcing Method for Learning Face Features   IEEE TRANSACTIONS ON IMAGE PROCESSING,,   ISSN: 1057-7149   10.1109/TIP.2008.2007610   vol. 18 p. 188 - 201    
34. VERRI Alessandro   DE MOL C;MOSCI S;TRASKINE M;A. VERRI   2009   Articolo in rivista   A Regularized Method for Selecting Nested Group of Genes from Microarray Data   JOURNAL OF COMPUTATIONAL BIOLOGY,,   ISSN: 1066-5277     vol. 16 p. 677 - 690    
35. VERRI Alessandro   VILLA S;ROSASCO L;MOSCI S;VERRI A   2012   Articolo in rivista   Consistency of Learning Algorithms Using Attouch–Wets Convergence   OPTIMIZATION,,   ISSN: 0233-1934     vol. 61 p. 287 - 305    
36. VERRI Alessandro   Baldassarre L;Rosasco L;Barla A;Verri A   2012   Articolo in rivista   Multi-Output Learning via Spectral Filtering   MACHINE LEARNING,,   ISSN: 0885-6125     vol. 87 p. 259 - 301    
37. ZUCCA Elena   DEZANI-CIANCAGLINI M;GIANNINI P;E. ZUCCA   2011   Articolo in rivista   Extending the lambda-calculus with unbind and rebind   RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS,,   ISSN: 0988-3754   10.1051/ita/2011008   vol. 45 p. 143 - 162    
38. ZUCCA Elena   SERVETTO M;E. ZUCCA   2010   Contributo in Atti di convegno   MetaFJig - A meta-circular composition language for Java-like classes   ,,OOPSLA 2010   ISBN: 9781450302036     p. 464 - 483    
39. ZUCCA Elena   G. Lagorio;M. Servetto;E. Zucca   2009   Contributo in Atti di convegno   Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes   ,SPRINGER ,ECOOP'09 - European Conference on Object-Oriented Programming 6/07/2009 Genova   ISBN: 9783642030123   10.1007/978-3-642-03013-0_12   p. 244 - 268    
40. ZUCCA Elena   G. Lagorio;M. Servetto;E. Zucca   2012   Articolo in rivista   Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages   INFORMATION AND COMPUTATION,,   ISSN: 0890-5401   10.1016/j.ic.2012.02.004   vol. 214 p. 86 - 111    
41. ZUCCA Elena   Andrea Corradi;Marco Servetto;Elena Zucca   2012   Articolo in rivista   DeepFJig — Modular composition of nested classes.   JOURNAL OF OBJECT TECHNOLOGY,,   ISSN: 1660-1769   10.5381/jot.2012.11.2.a1   vol. 11 p. 1:1 - 42    
42. CATANIA Barbara   B. CATANIA;A. MADDALENA   2012   Articolo in rivista   A unified framework for heterogeneous patterns   INFORMATION SYSTEMS,,   ISSN: 0306-4379   10.1016/j.is.2011.12.001   vol. 37(5) p. 460 - 483    
43. CATANIA Barbara   B. Catania;M.T. Pinto;P. Podesta`;D. Pomerano   2011   Contributo in volume (Capitolo o Saggio)   A recommendation technique for spatial data   ,SPRINGER ,   ISBN: 9783642237362     vol. LNCS 6909 p. 200 - 213    
44. CATANIA Barbara   A. BELUSSI;B. CATANIA;P. PODESTA'   2012   Articolo in rivista   Topological operators: a relaxed query processing approach   GEOINFORMATICA,,   ISSN: 1384-6175   10.1007/s10707-011-0124-9   vol. 16(1) p. 67 - 110    
45. CATANIA Barbara   B. Catania;L. Jain   2012   Curatela   Advanced query processing - issues and trends   , Springer ,   ISBN: 9783642283222     vol. Intelligent Systems Reference Library (ISRL), Vol. 36 p. 1 - 350    
46. CATANIA Barbara   B. Catania;G. Guerrini;M.T. Pinto;P. Podestà   2012   Contributo in volume (Capitolo o Saggio)   Towards Relaxed Selection and Join Queries over Data Streams   ,SPRINGER ,       vol. LNCS 7503 p. 125 - 138    
47. GUERRINI Giovanna   BERTINO E;G. GUERRINI;MESITI M   2008   Articolo in rivista   Measuring the structural similarity among XML documents and DTDs.   JOURNAL OF INTELLIGENT INFORMATION SYSTEMS,,   ISSN: 0925-9902   10.1007/s10844-006-0023-y   vol. 30(1) p. 55 - 92    
48. GUERRINI Giovanna   SANZ I;MESITI M;G. GUERRINI;BERLANGA R   2008   Articolo in rivista   Fragment-based Approximate Retrieval in Highly Heterogeneous XML Collections   DATA & KNOWLEDGE ENGINEERING,,   ISSN: 0169-023X   10.1016/j.datak.2007.05.008   vol. 64(1) p. 266 - 293    
49. GUERRINI Giovanna   LENGU R;MISSIER P;FERNANDES A;G. GUERRINI;MESITI M   2009   Contributo in volume (Capitolo o Saggio)   TIME-COMPLETENESS TRADE-OFFS IN RECORD LINKAGE USING ADAPTIVE QUERY PROCESSING   ,ACM ,   ISBN: 9781605584225     vol. 360 p. 851 - 861    
50. GUERRINI Giovanna   F. Cavalieri;G. Guerrini;M. Mesiti   2011   Contributo in volume (Capitolo o Saggio)   Dynamic Reasoning on XML Updates   ,ACM ,   ISBN: 9781450305280     p. 165 - 176    
51. GUERRINI Giovanna   G. GUERRINI   2012   Contributo in volume (Capitolo o Saggio)   Approximate XML Query Processing   , Springer ,   ISBN: 9783642283222     vol. Intelligent Systems Reference Library (ISRL), Vol. 36 p. 129 - 155    
52. DELZANNO Giorgio   ABDULLA P. A;G. DELZANNO;BEN HENDA N;REZINE A   2009   Articolo in rivista   Monotonic Abstraction: on Efficient Verification of Parameterized Systems   INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,,   ISSN: 0129-0541     vol. 20 p. 779 - 801    
53. DELZANNO Giorgio   PAROSH AZIZ ABDULLA;GIORGIO DELZANNO;AHMED REZINE   2009   Articolo in rivista   Approximated parameterized verification of infinite-state processes with global conditions   FORMAL METHODS IN SYSTEM DESIGN,,   ISSN: 0925-9856     vol. 34(2) p. 126 - 156    
54. DELZANNO Giorgio   G. Delzanno;G. Zavattaro   2012   Articolo in rivista   Reachability problems in BioAmbients   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2011.12.056   vol. 431 p. 56 - 74    
55. DELZANNO Giorgio   P. Abdulla;G. Delzanno;A. Rezine   2010   Articolo in rivista   Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints   INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,,   ISSN: 0129-0541     vol. 22(4) p. 761 - 782    
56. DELZANNO Giorgio   ABDULLA P;G. DELZANNO;VAN BEGIN L   2011   Articolo in rivista   A classification of the expressive power of well-structured transition systems.   INFORMATION AND COMPUTATION,,   ISSN: 0890-5401   10.1007/978-3-642-13089-2_44   vol. 209(3) p. 248 - 279    
57. ANCONA Davide   D. ANCONA;G. LAGORIO   2009   Contributo in Atti di convegno   Coinductive type systems for object-oriented languages   , Springer Verlag Berlino,ECOOP'09 - European Conference on Object-Oriented Programming Genova   ISBN: 9783642030123   10.1007/978-3-642-03013-0_2   p. 2 - 26    
58. ANCONA Davide   D. Ancona;G. Lagorio   2011   Articolo in rivista   Idealized coinductive type systems for imperative object-oriented programs   RAIRO. INFORMATIQUE THÉORIQUE ET APPLICATIONS,,   ISSN: 1290-385X     vol. 45(1) p. 3 - 33    
59. ANCONA Davide   D. Ancona;A. Corradi;G. Lagorio;F. Damiani   2011   Contributo in Atti di convegno   Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?   ,,Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010   ISBN: 9783642180699     p. 31 - 45    
60. ANCONA Davide   Davide Ancona;Giovanni Lagorio   2012   Contributo in Atti di convegno   Static single information form for abstract compilation   ,Springer ,IFIP Theoretical Computer Science 2012   ISBN: 9783642334740     p. 10 - 27    
61. ANCONA Davide   Davide Ancona   2012   Contributo in Atti di convegno   Soundness of Object-Oriented Languages with Coinductive
Big-Step Semantics  		 ,springer berlino,ECOOP 2012 - Object-Oriented Programming - 26th European Conference   ISBN: 9783642310560     p. 459 - 483    
62. MASCARDI Viviana   G. CASELLA;V. DEUFEMIA;V. MASCARDI;G. COSTAGLIOLA;M. MARTELLI   2008   Articolo in rivista   An agent-based framework for sketched symbol interpretation   JOURNAL OF VISUAL LANGUAGES AND COMPUTING,,   ISSN: 1045-926X   10.1016/J.JVLC.2007.04.002   vol. 19(2) p. 225 - 257    
63. MASCARDI Viviana   M. BALDONI;C. BAROGLIO;V. MASCARDI;A. OMICINI;P. TORRONI   2010   Contributo in volume (Capitolo o Saggio)   Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?   ,Springer-Verlag ,   ISBN: 9783642143083   10.1007/978-3-642-14309-0_10   vol. 6125 p. 204 - 230    
64. MASCARDI Viviana   V. MASCARDI;A. LOCORO;P. ROSSO   2010   Articolo in rivista   Automatic Ontology Matching Via Upper Ontologies: A Systematic Evaluation   IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING,,   ISSN: 1041-4347   10.1109/TKDE.2009.154   vol. 22(5) p. 609 - 623    
65. MASCARDI Viviana   A. Locoro;D. Grignani;V. Mascardi   2011   Contributo in volume (Capitolo o Saggio)   MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries   ,SPRINGER ,   ISBN: 9783642229121   10.1007/978-3-642-22913-8_15   vol. 375 p. 315 - 341    
66. MASCARDI Viviana   V. Mascardi;D. Ancona;R.H. Bordini;A. Ricci   2011   Contributo in Atti di convegno   CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services   ,Institute of Electrical and Electronics Engineers ( IEEE ) ,IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)   ISBN: 9781457713736   10.1109/WI-IAT.2011.255   p. 109 - 116    
67. VOLPE Gualtiero   Giovanna Varni;Gualtiero Volpe;Antonio Camurri   2010   Articolo in rivista   A System for Real-Time Multimodal Analysis of Nonverbal Affective Social Interaction in User-Centric Media   IEEE TRANSACTIONS ON MULTIMEDIA,,   ISSN: 1520-9210   10.1109/TMM.2010.2052592   vol. 12 p. 576 - 590    
68. VOLPE Gualtiero   Giovanna Varni;Maurizio Mancini;Gualtiero Volpe;Antonio Camurri   2011   Articolo in rivista   A System for Mobile Active Music Listening Based on Social Interaction and Embodiment   JOURNAL ON SPECIAL TOPICS IN MOBILE NETWORKS AND APPLICATIONS,,   ISSN: 1383-469X   10.1007/s11036-010-0256-4   vol. 16(3) p. 375 - 384    
69. VOLPE Gualtiero   Donald Glowinski;Nele Dael;Antonio Camurri;Gualtiero Volpe;Marcello Mortillaro;Klaus Scherer   2011   Articolo in rivista   Towards a Minimal Representation of Affective Gestures   IEEE TRANSACTIONS ON AFFECTIVE COMPUTING,,   ISSN: 1949-3045   10.1109/T-AFFC.2011.7   vol. 2(2) p. 106 - 118    
70. VOLPE Gualtiero   Gualtiero Volpe;Antonio Camurri   2011   Articolo in rivista   A system for embodied social active listening to sound and music content   ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE,,   ISSN: 1556-4673   10.1145/2001416.2001418   vol. 4(1) p. 2:1 - 2:23    
71. VOLPE Gualtiero   Giovanna Varni;Gaël Dubus;Sami Oksanen;Gualtiero Volpe;Marco Fabiani;Roberto Bresin;Jari Kleimola;Vesa Välimäki;Antonio Camurri   2012   Articolo in rivista   Interactive sonification of synchronisation of motoric behaviour
in social active listening to music with mobile devices  		 JOURNAL ON MULTIMODAL USER INTERFACES,,   ISSN: 1783-7677   10.1007/s12193-011-0079-z   p. 157 - 173    
72. TACCHELLA Armando   NARIZZANO M;PESCHIERA C;PULINA L;A. TACCHELLA   2009   Articolo in rivista   Evaluating and certifying QBFs: A comparison of state-of-the-art tools   AI COMMUNICATIONS,,   ISSN: 0921-7126   10.3233/AIC-2009-0468   vol. 22 p. 191 - 210    
73. TACCHELLA Armando   PULINA L;A. TACCHELLA   2010   Articolo in rivista   An empirical study of QBF encodings: from treewidth estimation to useful preprocessing.   FUNDAMENTA INFORMATICAE,,   ISSN: 0169-2968   10.3233/FI-2010-392   vol. 3-4 p. 391 - 427    
74. TACCHELLA Armando   A. TACCHELLA;PULINA L   2009   Articolo in rivista   A Self-adaptive Multi-engine solver for quantified Boolean formulas   CONSTRAINTS,,   ISSN: 1383-7133   10.1007/s10601-008-9051-2   vol. 14 p. 80 - 116    
75. TACCHELLA Armando   Luca Pulina;Armando Tacchella   2011   Articolo in rivista   NeVer: a tool for artificial neural networks verification   ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE,,   ISSN: 1012-2443   10.1007/s10472-011-9243-0   p. 403 - 425    
76. TACCHELLA Armando   L. Pulina;A. Tacchella   2012   Articolo in rivista   Challenging SMT solvers to verify neural networks   AI COMMUNICATIONS,,   ISSN: 0921-7126   10.3233/AIC-2012-0525   vol. 25 p. 117 - 135    
77. ODONE Francesca   LO GERFO L.;ROSASCO L.;ODONE F;DE VITO E;VERRI A   2008   Articolo in rivista   Spectral Algorithms for Supervised Learning   NEURAL COMPUTATION,,   ISSN: 0899-7667     vol. 20(7) p. 1873 - 1897    
78. ODONE Francesca   DESTRERO A;MOSCI S;DE MOL C;VERRI A;ODONE F   2009   Articolo in rivista   Feature Selection for High-Dimensional Data   COMPUTATIONAL MANAGEMENT SCIENCE,,   ISSN: 1619-697X     vol. 6 p. 25 - 40    
79. ODONE Francesca   DESTRERO A;DE MOL C;ODONE F;VERRI A   2009   Articolo in rivista   A Sparsity-Enforcing Method for Learning Face Features   IEEE TRANSACTIONS ON IMAGE PROCESSING,,   ISSN: 1057-7149   10.1109/TIP.2008.2007610   vol. 18 p. 188 - 201    
80. ODONE Francesca   Castellini C;Tommasi T;Noceti N;Odone F;Caputo B   2011   Articolo in rivista   Using object affordances to improve object recognition   IEEE TRANSACTIONS ON AUTONOMOUS MENTAL DEVELOPMENT,,   ISSN: 1943-0604     vol. 3 p. 207 - 215    
81. ODONE Francesca   N. Noceti;F. Odone   2012   Articolo in rivista   Learning common behaviors from large sets of unlabeled temporal series   IMAGE AND VISION COMPUTING,,   ISSN: 0262-8856   10.1016/j.imavis.2012.07.005   vol. 30 p. 875 - 895    
82. NARIZZANO Massimo   NARIZZANO M;PESCHIERA C;PULINA L;A. TACCHELLA   2009   Articolo in rivista   Evaluating and certifying QBFs: A comparison of state-of-the-art tools   AI COMMUNICATIONS,,   ISSN: 0921-7126   10.3233/AIC-2009-0468   vol. 22 p. 191 - 210    
83. NARIZZANO Massimo   MATTHEW D. T. LEWIS;PAOLO MARIN;TOBIAS SCHUBERT;MASSIMO NARIZZANO;BERND BECKER;E. GIUNCHIGLIA   2009   Contributo in Atti di convegno   PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing   ,Springer Verlag ,Theory and Applications of Satisfiability Testing   ISBN: 9783642027765     p. 509 - 523    
84. NARIZZANO Massimo   E. GIUNCHIGLIA;MARIN P;NARIZZANO M   2009   Contributo in volume (Capitolo o Saggio)   Reasoning with Quantified Boolean Formulas   ,,   ISBN: 9781586039295     p. 761 - 780    
85. NARIZZANO Massimo   D. Angeletti;E. Giunchiglia;M. Narizzano;A. Puddu;S. Sabina   2010   Articolo in rivista   Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting   JOURNAL OF AUTOMATED REASONING,,   ISSN: 0168-7433     vol. 45 p. 397 - 414    
86. NARIZZANO Massimo   E. Giunchiglia;P. Marin;M. Narizzano   2010   Contributo in Atti di convegno   sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning   ,Springer ,Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference 2010       p. 85 - 98    
87. RICCA Filippo   M. Torchiano;M. Di Penta;F. Ricca;A. De Lucia;F. Lanubile   2011   Articolo in rivista   Migration of information systems in the Italian industry: A state of the practice survey   INFORMATION AND SOFTWARE TECHNOLOGY,,   ISSN: 0950-5849   10.1016/j.infsof.2010.08.002   vol. 53 p. 71 - 86    
88. RICCA Filippo   S. Kpodjedo;F. Ricca;P. Galinier;Y.G. Guéhéneuc;G. Antoniol   2011   Articolo in rivista   Design evolution metrics for defect prediction in object oriented systems   EMPIRICAL SOFTWARE ENGINEERING,,   ISSN: 1382-3256   10.1007/s10664-010-9151-7   vol. 16 p. 141 - 175    
89. RICCA Filippo   F. Ricca;M. Torchiano;M. Di Penta;P. Tonella;M. Ceccato   2010   Articolo in rivista   How Developers' Experience and Ability Influence Web Application Comprehension Tasks Supported by UML Stereotypes: a Series of Four Experiments   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,,   ISSN: 0098-5589   10.1109/TSE.2009.69   vol. 36 p. 96 - 118    
90. RICCA Filippo   A. Perini;F. Ricca;Angelo Susi   2009   Articolo in rivista   Tool-Supported Requirements Prioritization. Comparing the AHP and CBRank Methods   INFORMATION AND SOFTWARE TECHNOLOGY,,   ISSN: 0950-5849   10.1016/j.infsof.2008.12.001   vol. 51 p. 1021 - 1032    
91. RICCA Filippo   F. Ricca;M. Torchiano;M. Di Penta;P. Tonella;M. Ceccato   2009   Articolo in rivista   Using Acceptance Tests as a Support for Clarifying Requirements: a Series of Experiments   INFORMATION AND SOFTWARE TECHNOLOGY,,   ISSN: 0950-5849   10.1016/j.infsof.2008.01.007   vol. 51 p. 270 - 283    


Produzione scientifica dei membri del collegio dal 2008 al 2012: (Personale non accademico dipendente di altri enti e personale docente di università straniere)

n. Autore Eventuali altri autori Anno di pubblicazione Tipologia pubblicazione Titolo (della pubblicazione) Denominazione (rivista, editore, convegno, altro) ISSN/ISBN DOI Altre coordinate editoriali (vol, nn pagg..)
1. BERTINO Elisa  Michael S. Kirkpatrick, Gabriel Ghinita  2012  Articolo in rivista  Privacy-Preserving Enforcement of Spatially Aware RBAC.  IEEE Trans. Dependable Sec. Comput.      vol.9, n.5, pages 627-640 
2. BERTINO Elisa  Hyo-Sang Lim, Gabriel Ghinita,Murat Kantarcioglu  2012  Contributo in Atti di convegno  A Game-Theoretic Approach for High-Assurance of Data Trustworthiness in Sensor Networks.  ICDE 2012      pages 1192-1203 
3. BERTINO Elisa  Ashish Kamra  2011  Articolo in rivista  Design and Implementation of an Intrusion Response System for Relational Databases.  IEEE Trans. Knowledge and Data Engineering      vol.23, n.6, pages 875-888 
4. BERTINO Elisa  Anna Cinzia Squicciarini, Federica Paci, Alberto Trombetta, Stefano Braghin  2010  Articolo in rivista  Group-Based Negotiations in P2P Systems.  IEEE Trans. Parallel Distributed Systems      vol. 21, n.10, pages 1473-1486 
5. BERTINO Elisa  Qun Ni, Jorge Lobo, Carolyn Brodie, Clare-Marie Karat, John Karat, Alberto Trombetta:  2010  Articolo in rivista  Privacy-aware role-based access control.  ACM Trans. Inf. Syst. Secur.      vol. 13, n.3 
6. SAMET Hanan  S. Nutanong, E. H. Jacox  2011  Articolo in rivista  An incremental Hausdorff distance calculation algorithm.  PVLDB      vol. 4, n. 8, pages 506-517. 
7. SAMET Hanan  J. Sankaranarayanan  2010  Articolo in rivista  Query processing using distance oracles for spatial networks.  IEEE Transactions on Knowledge and Data Engineering      vol. 22, n.8, pages 1158-1175 
8. SAMET Hanan  J. Sankaranarayanan,B. Teitler, M. Lieberman, Michael, J. Sperling  2009  Contributo in Atti di convegno  TwitterStand: news in tweets  Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems  978-1-60558-649-6  10.1145/1653771.1653781  Pages 42-51 
9. SAMET Hanan  J. Sankaranarayanan, H. Alborzi  2008  Contributo in Atti di convegno  Scalable network distance browsing in spatial databases.  Proceedings of the ACM SIGMOD Conference      pages 43-54, Vancouver, Canada, June 2008
(2008 ACM SIGMOD Best Paper Award) 
10. SAMET Hanan    2008  Articolo in rivista  K-nearest neighbor finding using MaxNearestDist.  IEEE Transactions on Pattern Analysis and Machine Intelligence      vol. 30, n.2, pages 243-252, February 2008. 



Autovalutazione (da parte del Proponente) del posizionamento del Corso rispetto a corsi di dottorato in settori affini in ambito nazionale

Il dottorato di Informatica è stato attivato nel 1993. A partire dal 2013 nel collegio confluiscono docenti provenienti dai settori INF/01 e ING-ING/05 completando ed integrando l’offerta formativa e di ricerca in settori chiave dell’informatica quali la sicurezza, l’interazione uomo-macchina, l’intelligenza artificiale e l’ingegneria del software.

Oltre alle tematiche di ricerca che costituiscono il nucleo fondamentale dell’informatica, il corso di dottorato si caratterizza per tematiche quali grafica e visione computazionale, apprendimento statistico ed intelligenza artificiale, interfacce multi-modali, coltivate in modo distintivo all’interno del DIBRIS e dell’Ateneo genovese.

Il livello scientifico dei componenti del collegio e’ testimoniato dalla qualita’ e dall’ampiezza delle produzione scientifica. I docenti partecipano e coordinano progetti di ricerca nazionali ed internazionali e vantano collaborazioni con prestigiose Universita’ ed istituti di ricerca sia a livello nazionale che internazionale. La costante presenza nel Coordinamento Nazionale dei Dottorati di Informatica (es.la scuola di dottorato BISS) e le numerose collaborazioni internazionali assicurano un rapido ed efficace inserimento nel sistema internazionale della ricerca (si veda sezione su sbocchi occupazionali).

Sulla base di questi dati il dottorato di Informatica si colloca storicamente e culturalmente tra i corsi di alta formazione più rilevanti nel settore italiano dell'informatica.


Principali Atenei e centri di ricerca internazionali con i quali il collegio mantiene collaborazioni di ricerca (max 5) con esclusione di quelli di cui alla sezione 1

n. Denominazione Paese
1. University of Maryland Institute for Advanced Computer Studies e Computer Science Department, University of Maryland, College Park (USA): la collaborazione e’ in atto da svariati anni su tematiche relative alle basi di dati spaziali, alla computer graphics e alla visione computazionale. Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari, corsi per il dottorato. La collaborazione sara' incentivata dalla presenza del prof. Hanan Samet nel Collegio dei docenti.  Stati Uniti d'America 
2. Fondazione Bruno Kessler di Trento, gruppo ST, Security and Trust, Prof. Armando, gruppo di ricerca che si occupa di analisi di sistemi distribuiti e protocolli di sicurezza.
E' attiva inoltre da numerosi anni una collaborazione con il SELAB, Laboratorio di Software Engineering, Prof. Paolo Tonella, che si occupa di requirement analysis and testing e con il gruppo Embedded Systems, Prof. Alessandro Cimatti, che si occupa di constraint solver, model checking e planning per sistemi embedded.
Con questi laboratori si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato.Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato. 		 Italia 
3. MIT, Massachussets Institute of Technology, Department of Brain and Cognitive Sciences: la collaborazione e’ in atto da svariati anni su tematiche relative alla visione computazionale e all’apprendimento statistico e coinvolge il gruppo del Prof. Tomaso Poggio. Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato.  Stati Uniti d'America 
4. Stanford University: è attiva da alcuni anni una collaborazione con il Center for Computer Research in Music and Acoustic (CCRMA), Prof Ge Wang, per ricerca multi-disciplinare ch coinvolge informatica, ingegneria, fisica, psicologia e musica (con particolare attenzione a performance, analisi e composizione).
Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato.
si prevedono collaborazioni, periodi di ricerca, scambio di ricercatori e dottorandi. 		 Stati Uniti d'America 
5. Universitè Paris Diderot, Liafa/PPS: la collaborazione con il gruppo MOVE di LIAFA, Prof. Bouajjani e Dr. Sangnier, è attiva da alcuni anni su argomenti collegati ad analisi di sistemi distribuiti. Inoltre è attiva una nuova collaborazione con il gruppo PPS, Prof. G. Castagna, su analisi di programmi e sistemi multiagente.
Si prevedono collaborazioni, periodi di ricerca, scambio di ricercatori e dottorandi. 		 Francia 


Descrizione della situazione occupazionale dei dottori di ricerca che hanno acquisito il titolo negli ultimi tre anni (facoltativo)

La situazione occupazionale dei dottorandi degl ultimi TRE cicli è descritta come segue:

- Nove ricercatori in Università/istituti di ricerca italiani/stranieri: Cavalieri, Marin, Castellano, Glowinski, Carbone, Ponte, Servetto, Merlo, Gasti.

- Nove postdoc/assegnisti presso Università/istituti di ricerca italiani/stranieri: Podestà, Noceti, Rebagliati, Varni, Canino, Salzo, Zycinski, Briola, La Camera.

- Dieci assunti in aziende di informatica/enti o operanti come consulenti: Casu, Puddu, Olivieri, Peschiera, Mazzarino, Vitali, Cuni, Desiderà, Ferrante, Lo Gerfo.


Esperienze passate di collaborazione in attività di ricerca con le imprese convenzionate e valore aggiunto atteso per il corso di dottorato



Note



3. Struttura in curricula
La sezione è compilabile solo se nel punto "Corso di Dottorato" si è risposto in maniera affermativa alla domanda "Presenza di eventuali curricula?"


Note


4. Struttura formativa

Attività didattica disciplinare e interdisciplinare

Insegnamenti ad hoc previsti nell'iter formativo Tot CFU: 30  n.ro insegnamenti: 5  di cui è prevista verifica finale: 5 
Insegnamenti mutuati da corsi di laurea magistrale SI  n.ro: 10  di cui è prevista verifica finale: 10 
Cicli seminariali SI 
Soggiorni di ricerca SI  ESTERO nell’ambito delle istituzioni coinvolte
ESTERO - al di fuori delle istituzioni coinvolte
 


Descrizione delle attività di formazione di cui all’art. 4, comma 1, lett. f)

Tipologia  Descrizione sintetica
Linguistica Corso di perfezionamento della lingua Italiana (per studenti stranieri) ed Inglese (per tutti gli studenti) in comune con gli altri dottorati promossi dal dipartimento e/o dalla scuola di dottorato. 
Informatica L'ampia offerta formativa nel campo dell'informatica e dell'ingegneria informatica permette la definizione di piani formativi su base individuale dedicati a studenti provenienti da altre lauree e/o sedi. Tali corsi sono propedeutici allo svolgimento dell'attività di ricerca svolte dai dottorandi. 
Gestione della ricerca, della conoscenza dei sistemi di ricerca e dei sistemi di finanziamento Si prevede l'organizzazione di seminari e corsi finalizzati all'introduzione nel sistema internazionale della ricerca con enfasi su aspetti quali: analisi dello stato dell'arte, preparazione della documentazione (articoli scientifici, presentazioni, proposte di progetto), inserimento nelle comunità di ricerca internazionale (associazioni, gruppi di interesse). 
Valorizzazione dei risultati della ricerca e della proprietà intellettuale Si prevede l'organizzazione di seminari e corsi finalizzati alla modalità di diffusione e di peer review dei prodotti scientifici, impatto dei lavori ed indicatori bibliometrici, valorizzazione tramite brevetti dei risultati prodotti durante la tesi di dottorato. Si prevede anche una formazione finalizzata alla definizione di rapporti con terzi, nell'ambito di progetti finanziati o di convenzioni, inerenti allo sfruttamento dei prodotti di ricerca e alla proprietà intellettuale dei risultati. 


Attività dei dottorandi

È previsto che i dottorandi possano svolgere attività di tutorato SI
 		  
È previsto che i dottorandi possano svolgere attività di didattica integrativa SI
 		 Ore previste pro-capite: 20 


Note


5. Requisiti e modalità di ammissione

Requisiti richiesti per l'ammissione

Tutte le lauree magistrali: SI, Tutte 
se non tutte, indicare quali:  
Altro per studenti stranieri (max 500 caratteri):
Titolo equipollente a laurea magistrale o specialistica (4/5 anni) 
Eventuali note  


Modalità di ammissione


Analisi titoli 
Per i laureati all'estero la modalità di ammissione è diversa da quella dei candidati laureati in Italia? NO 
se SI specificare:  


Note


6. Posti e borse

Posti

Posti banditi (messi a concorso) n. 15 
di cui  
    - Posti banditi con borsa n. 7 
    - Posti coperti da assegni di ricerca n. 0 
    - Posti coperti da contratti di apprendistato n. 0 
    - Eventuali posti senza borsa n. 8 
Posti con borsa riservati a laureati in università estere n. 1 
Posti riservati a borsisti di Stati esteri n. 0 
Posti riservati a borsisti in specifici programmi di mobilità internazionale n. 0 
Posti riservati a dipendenti di imprese impegnati in attività di elevata qualificazione (dottorato industriale) n. 0 
Posti riservati senza borsa a laureati in università estere n. 0 
Eventuali note  


Borse

Importo della borsa Euro:13.638,47 
Maggior importo procapite (per posto coperto con borsa) per soggiorni di ricerca all’estero Euro (max 50% borsa):3.409,62 
Budget procapite annuo per attività di ricerca in Italia e all’Estero Euro (min 10% importo borsa):1.363,85 
Eventuali note  


Note




7. Strutture operative e scientifiche

Tipologia  Descrizione sintetica
Laboratori Il Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi mette a disposizione tutti i propri laboratori per lo svolgimento delle attività di ricerca degli allievi del corso. 
Biblioteche Gli allievi potranno trovare ampio accesso a documentazione necessaria per l'attività di ricerca presso i centri di servizio bibliotecario dell'Ateneo ed in particolare il C.S.B. di Matematica e Informatica e i C.S.B. di Ingegneria. 
Banche dati Banche dati elettroniche (riviste e proceedings) accessibili tramite i servizi in abbonamento forniti sia dal sistema bibliotecario di Ateneo che prevede l'accesso on-line di tutte le più importanti case editrici internazionali. 
Computer facilities Il Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi mette a disposizione un ampio numero di computer facilities e attrezzature specializzate presso tutte le proprie sedi. 
Altro  


Note


8. Finanziatori esterni

Finanziatori esterni ITALIANI del corso di dottorato

n. Tipologia del soggetto Pubblico/Privato Denominazione del soggetto


Finanziatori esterni STRANIERI del corso di dottorato

n. Tipologia del soggetto Denominazione del soggetto Pubblico/Privato Paese
1. Istituzione scientifica, Organizzazione, Struttura di ricerca europea internazionale  Commissione EU  PUBBLICO  Comunità Europea 


Note




Data di chiusura: 27/09/2013


.