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


Modulo Proposta Anagrafe dei dottorati - a.a. 2018/2019
codice = DOT1340722




1. Informazioni generali



Corso di Dottorato

Il corso è: Rinnovo 
Denominazione del corso a.a. 2017/2018 INFORMATICA 
Cambio Titolatura? NO 
Ciclo 34 
Data presunta di inizio del corso 01/10/2018 
Durata prevista 3 ANNI 
Dipartimento/Struttura scientifica proponente Informatica 
Dottorato in collaborazione con le imprese/dottorato industriale
(art. 11 del regolamento):
NO
[dato riportato in automatico dalla sezione "Tipo di Organizzazione"]
 
Dottorato in collaborazione con Università e/o enti di ricerca esteri
(art. 10 del regolamento):
NO
[dato riportato in automatico dalla sezione "Tipo di Organizzazione"]
 
Dottorato relativo alla partecipazione a bandi internazionali: SI  Altra tipologia
se altra tipologia:
MSCA COFUND DOCTORAL PROGRAMME
 
se SI, Descrizione tipo bando 6 BORSE SU 3 ANNI, FINANZIATE SU PROGETTO HORIZON2020 ERC ADVANCED GRANT 2016 ARS - AUTONOMOUS ROBOTIC SURGERY N. 742671 E 1 POSIZIONE FINANZIATA DAL PROGETTO INVITE MSC N. 754345 
se SI, Esito valutazione POSITIVO 
Il corso fa parte di una Scuola? SI 
se SI quale SCIENZE NATURALI E INGEGNERISTICHE 
Presenza di eventuali curricula? NO 
Sito web dove sia visibile l'offerta formativa prevista ed erogata http://www.univr.it/main?ent=ava&cs=635&scuoladott=14 ; http://www.univr.it/main?ent=ava&scuoladott=14 


AMBITO: indicare i settori scientifico disciplinari coerenti con gli obiettivi formativi del corso

n. Settori scientifico disciplinari interessati (SSD) Indicare il peso percentuale di ciascun SSD nel progetto scientifico del corso Settori concorsuali interessati Macrosettore concorsuale interessato Aree CUN-VQR interessate
1. INF/01    %  63,89  INFORMATICA  01/B - INFORMATICA 
01 - Scienze matematiche e informatiche
 
2. ING-INF/05    %  33,33  SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI  09/H - INGEGNERIA INFORMATICA 
09 - Ingegneria industriale e dell'informazione
 
3. ING-INF/06    %  2,78  BIOINGEGNERIA  09/G - INGEGNERIA DEI SISTEMI E BIOINGEGNERIA 
09 - Ingegneria industriale e dell'informazione
 
  TOTALE    %  100,00          


Descrizione e obiettivi del corso

Il dottorato in Informatica copre le principali Aree di ricerca dell’Informatica teorica e applicata, quali: Bioinformatica e Informatica medica, Informatica teorica, Sistemi intelligenti, Sistemi informativi, Ingegneria del sw e sicurezza, Architetture e sistemi ciberfisici, Multimedia, Robotica. Tutte aree conformi alla classificazione ACM 2012. Esistono inoltre tematiche interdisciplinari, come le tecnologie dell’informazione applicate alle scienze della vita e all’analisi di sistemi biologici complessi.
I membri del collegio vantano numerose collaborazioni nazionali e internazionali, grazie a progetti con enti o aziende locali, o finanziati dai programmi nazionali ed europei (PRIN, FP7, H2020, etc).

L’obiettivo del Corso è quello di formare ricercatori con una profonda ed ampia conoscenza dell’informatica ed elevata capacità di apprendimento e applicazione delle metodologie di ricerca avanzate. I dottori dovranno essere capaci di affrontare un’esperienza lavorativa sia nel campo della ricerca pura e di base sia nel campo della ricerca applicata e industriale. Gli obiettivi saranno raggiunti prevedendo per i dottorandi un’adeguata attività formativa e la redazione di una tesi di dottorato conforme ai più elevati standard internazionali. Il Corso prevede un programma di studio presso la sede e promuove periodi di studio e ricerca all’estero, presso soggetti pubblici e privati, fino ad un max del 50% della durata del corso.


Sbocchi occupazionali e professionali previsti

Negli ultimi anni, il Corso di Dottorato in Informatica dell'Università di Verona ha licenziato un gran numero di dottori di ricerca. L’attività di pubblicazione dei dottorandi è regolare e di alta qualità, con pubblicazioni in riviste internazionali e atti di congresso di grande prestigio, tanto che molti hanno scelto di proseguire nella ricerca. Tutti i dottori che hanno conseguito il titolo negli ultimi 5 cicli sono attualmente occupati: la stragrande maggioranza in qualità di post-doc presso università italiane e straniere, ma anche presso istituti nazionali (quali ISTAT, IIT, etc), aziende nazionali (tra cui spin-off del nostro Ateneo) e internazionali (es. Microsoft e Siemens). Circa il 90% di coloro che hanno conseguito il titolo negli ultimi 10 anni sono impiegati presso università (in qualità di professore, ricercatore, o assegnista di ricerca), centri di ricerca e aziende nazionali e internazionali nelle quali stanno mettendo direttamente a frutto quanto appreso durante il dottorato.
L’Informatica si rivela, quindi, come uno degli argomenti di ricerca che consente ampi sbocchi occupazionali, sia in ambito accademico che industriale, grazie anche alle collaborazioni in essere da parte del Collegio e del Dipartimento di Informatica.


Sede amministrativa

Ateneo Proponente: Università degli Studi di VERONA 
N° di borse finanziate 17 


Tipo di organizzazione

2b) Convenzione
 
con
(indicare i soggetti partecipanti al consorzio/convenzione):
 

Università italiane

Università straniere

enti di ricerca pubblici o privati di alta qualificazione, anche di Paesi diversi

imprese che svolgono attività di ricerca e sviluppo
 
se in convenzione:   1) data di sottoscrizione: 27/03/2018  numero di cicli di dottorato:3 
(eventuale)      


Altri Enti consorziati/convenzionati

n. Denominazione del soggetto Tipologia del soggetto Pubblico/Privato Consorziato/ Convenzionato Paese Sede di attività formative N° di borse finanziate
1. ISTITUTO ITALIANO DI TECNOLOGIA (IIT)  ente di ricerca  PUBBLICO  Convenzionato  Italia  SI  2 


Note

(max 1.000 caratteri):
All'interno della convenzione in atto, l'Istituto Italiano di Tecnologia (IIT) ha finanziato una borsa nel XXXI ciclo.

Il Corso persegue l'internazionalizzazione, incentivando soggiorni all’estero, finanziati attraverso programmi quali Cooperint, Erasmus Mundus, progetti internazionali, e con il contributo della Scuola di Dottorato di Scienze Naturali e Ingegneristiche. Il DdR ha anche in atto numerose collaborazioni con istituzioni nazionali ed esteri per consentire esperienze di ricerca in contesti lavorativi e accademici diversi, con convenzioni di di co-tutela o collaborazione.


2. Collegio dei docenti



Coordinatore

Cognome Nome Ateneo Proponente: Dipartimento/ Struttura Qualifica Settore concorsuale Area CUN-VQR
MERRO  Massimo  VERONA  Informatica  Professore Associato confermato  01/B1  01 



Curriculum del coordinatore


1. Curriculum del coordinatore

1) INFORMAZIONI GENERALI

- Formazione:

• PhD in Computer Science, con menzione “très honorable avec félicitations du jury à l'unanimité”, ottenuto presso l'École Nationale Supérieure des Mines de Paris in Sophia-Antipolis, Francia, 2000.
• Laurea con lode in Scienze dell’Informazione, Università degli Studi di Pisa, 1996.


- Qualifiche e posizioni:

• Abilitazione Scientifica Nazionale (ASN) a Professore di I fascia in Informatica, SSD INF/01, SC 01/B1 (2014).
• Professore di II fascia, SSD INF/01, SC 01/B1, Informatica, presso il Dipartimento di Informatica dell’Università degli Studi di Verona (2006-).
• Ricercatore Universitario presso il medesimo dipartimento (2002-2006).
• Research Fellow presso il Laboratoire de méthodes de programmation, École Polytechnique Fédérale de Lausanne, Svizzera (2002).
• Research Fellow presso la School of Cognitive and Computing Science, University of Sussex, UK (2000-2002).


- Interessi di ricerca:

• Semantica dei linguaggi di programmazione per sistemi concorrenti, distribuiti e mobili.
• Fondamenti semantici per sistemi ciberfisici e sistemi in ambito “Internet of Things”.
• Strumenti formali per l’analisi della sicurezza di sistemi ciberfisici e “Internet of Things”.
• Verifica di protocolli e sistemi complessi attraverso tecniche semantiche e di analisi statica.


2) ATTIVITÀ DI RICERCA SCIENTIFICA

- Dati bibliometrici:

Elsevier Scopus
I dati seguenti sono stati estratti dal database di Elsevier Scopus, aggiornato al 18 Maggio 2017.
• articoli indicizzati: 49
• citazioni: 734
• h-index: 18
• g-index: 25
• citazioni/articolo: 14.98
• autori/articolo: 2.3.

Google Scholar
I dati seguenti sono stati estratti dal database di Google Scholar, aggiornato al 18 Maggio 2017.
• documenti: 56
• citazioni: 1316
• h-index: 20
• g-index: 34
• citazioni/documento: 23.5
• autori/documento: 2.3.


- Comitati di programma di convegni internazionali:

• 14th International Conference on Embedded Software (EMSOFT’17), Seoul, South Korea.
• 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE’16), Heraklion, Crete, 2016.
• 43rd International Colloquium on Automata, Languages and Programming (ICALP’16) – Track B: Logic, Semantics, Automata and Theory of Programming, Rome, Italy, 2016.
• 42th International Colloquium on Automata, Languages and Programming (ICALP’15) – Track C: Foundations of Networked Computation: Models, Algorithms and Information Management, Kyoto, Japan, 2015.
• 38th International Colloquium on Automata, Languages and Programming (ICALP’11) – Track C: Foundations of Networked Computation: Models, Algorithms and Information Management, Zurich, Switzerland, 2011.
• 4th International Conference on Frontier of Computer Science and Technology (FCST’09), Shanghai, China, 2009.
• 2th International Workshop on Formal Methods for Wireless Systems (FMWS’09), Bologna, Italy, 2009.
• 2th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’08), Iasi, Romania, 2008.
• 1st International Workshop on Formal Methods for Wireless Systems (FMWS’08), Toronto, Canada, 2008.
• 17th International Conference on Concurrency Theory (CONCUR’06), Bonn, Germany, 2006.
• 10th International Workshop on Expressivity in Concurrency (EXPRESS’03), Marseilles, France, 2003.
• 9th International Workshop on Expressivity in Concurrency (EXPRESS’02), Brno, Czech Republic, 2002.


- Comitati editoriali di riviste internazionali:

• Editor di Open Computer Science, http://www.degruyter.com/view/j/comp (2015-)
• Associate Editor di Mobile Information Systems, (2014-) https://www.hindawi.com/journals/misy/
• Review Editor di Frontiers in ICT, Computer and Network Security, (2014-)
http://journal.frontiersin.org/journal/ict/section/computer-and-network- security.


- Riconoscimenti:

Internazionali
• “DisCoTec best paper award 2013”, tra gli articoli apparsi in tre diverse conferenze internazionali: COORDINATION 2013, DAIS 2013 e FORTE 2013.
• TMR Marie Curie Research Training Grant di 18 mesi.

Nazionali
• All’interno della campagna VQR 2011-2014, entrambi gli articoli riportati di seguito hanno ricevuto valutazione “elevato” (punteggio 0.7):
* M. Merro, F Ballardin, E. Sibilio. A timed calculus for wireless systems. Theoretical Computer Science 412(47):6585-661, 2011;
* M. Merro and E. Sibilio. A calculus of trustworthy ad hoc networks. Formal Aspects of Computing 25(5):801-832, 2013.
• All’interno della campagna VQR 2004-2010, tutti e tre gli articoli riportati di seguito hanno ricevuto valutazione “eccellente” (punteggio 1):
* M. Merro and F. Zappa Nardelli. Behavioural Theory for Mobile Ambients. Journal of the ACM 52(6):961-1023, 2005;
* M. Merro and M. Hennessy. A Bisimulation Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages and Systems 28(2):290-330, 2006;
* M. Merro. An Observational Theory for Mobile Ad Hoc Networks (full version). Information and Computation 207(2):194-208, 2009.


- Progetti di ricerca di rilievo internazionale/nazionale:
* Joint Project 2017 dal titolo ``Security Static Analysis for Android Things'', finanziato dall'Università degli Studi di Verona, per Euro 143.758, dal 01.01.2018 al 31.12.2019 (Principal Investigator).
* Joint Project 2011 dal titolo ``Static Analysis for Multithreading'', finanziato dall'Università degli Studi di Verona, per Euro 135.083, dal 01.01.2013 al 30.06.2015 (Principal Investigator}.
* Progetto PRIN 2010-2011 dal titolo ``Security Horizons", dal 01.02.2013 al 01.02.2016 (Investigator).
* EU project VII PQ (2011-2013) ``SPaCIoS: Secure Provision and Consumption in the Internet of Services'' (Investigator).
* EU project VII PQ (2009-2011); ``AVANTSSAR: Automated ValidatioN of Trust and Security of Service-oriented ARchitectures'' (Investigator).
* Progetto PRIN 2007 dal titolo ``SOFT: Security-Oriented Formal Techniques'' (Investigator).
* Progetto PRIN 2005-2006 dal titolo ``Formal Verification by Abstract Interpretation'' (Investigator).


- Supervisione di dottorandi e postdoc:

* PhD student Dr. Andrei Munteanu. Titolo della tesi: Static Security Analysis of Cyber-Physical Systems. Università degli Studi di Verona, 2017.
* PhD student Dr. Eleonora Sibilio. Titolo della tesi: Formal Methods for Wireless Systems. Università degli Studi di Verona, 2011.
* Visiting PhD student, Dr. Mojgan Kamali, Abo Akademi University, Turku, Finland. Titolo del progetto: Statistical model checking of ad hoc routing protocols. Sett-Dic 2016.
* Research Fellow Dr. Damiano Macedonio. Titolo del progetto: Formal Verification of Wireless Network Protocols, Universita' degli Studi di Verona, 2011-2013.
* Research Fellow di 12 mesi da assegnare. Titolo del progetto: Formal Verification of Cyber-Physical System Security, Università degli Studi di Verona, 2017.


3) ATTIVITÀ DIDATTICA

Il Dr. Merro ha maturato quindici anni di esperienza nell’insegnamento in ambito universitario. Insegnamento tenuto prevalentemente presso il corso di laurea specialistica in Informatica, il corso di laurea triennale in Informatica e il corso di laurea magistrale in Ingegneria e scienze informatiche dell’Università degli Studi di Verona.

- Incarichi didattici:

Il Dr. Merro è o è stato responsabile dei seguenti insegnamenti:
• Linguaggi (modulo di 6CFU all’interno del corso di Fondamenti), 56h, laurea magistrale in Ingegneria e scienze informatiche, Università degli Studi di Verona (2010-);
• Sicurezza delle reti, 52h, laurea magistrale in Ingegneria e Scienze Informatiche, Università degli Studi di Verona (2013-);
• Programmazione di rete, 60h, laurea specialistica in Informatica, Università degli Studi di Verona (2003-2013);
• Linguaggi concorrenti e mobili, 60h, laurea specialistica in Informatica, Università degli Studi di Verona (2003- 2009);
• Programmazione II , 60h, laurea triennale in Informatica, Università degli Studi di Verona (2009-2010);
• Informatica di base, 24h, laurea specialistica in Informatica, Università degli Studi di Verona (2006-2009);
• Interazione Uomo-Macchina, 20h, Facoltà di Letteratura e Filosofia, Università di Verona (2004- 2005);
• Teoria degli Automi, 20h, University of Sussex, UK, (2000-2002).


- Valutazione dei corsi:

L’Università degli Studi di Verona ha messo a punto un meccanismo per la valutazione della docenza attraverso dei questionari compilati dagli studenti sui corsi da loro seguiti nelle lauree triennali e magistrali. Tali questionari sono compilati sia dagli studenti frequentanti che non frequentanti. In queste valutazioni i corsi tenuti dal Dr. Merro sono stati mediamente molto apprezzati, conseguendo una valutazione superiore alla valutazione media del relativo Corso di Studi (CdS).
La valutazione dei corsi insegnati dal Dr. Merro negli ultimi tre anni accademici è la seguente:


A.A. 2014-2015
• Linguaggi (frequentanti): 3.48 su 4; la media del CdS è stata 3.23;
• Linguaggi (non frequentanti): 3.15 su 4; la media del CdS è stata 2.97;
• Sicurezza delle reti (frequentanti): 3.41 su 4; la media del CdS è stata 3.23;
• Sicurezza delle reti (non frequentanti): 3.57 su 4; la media del CdS è stata 2.97.

A.A. 2015-2016
• Linguaggi (frequentanti): 3.16 su 4; la media del CdS è stata 3.22;
• Linguaggi (non frequentanti): 3.24 su 4; la media del CdS è stata 3.05;
• Sicurezza delle reti (frequentanti): 3.31 su 4; la media del CdS è stata 3.22;
• Sicurezza delle reti (non frequentanti): 3.24 su 4; la media del CdS è stata 3.05.

A.A. 2016-2017
• Linguaggi (frequentanti): 3.45 su 4; la media del CdS è stata 3.30;
• Linguaggi (non frequentanti): 3.03 su 4; la media del CdS è stata 2.88;
• Sicurezza delle reti (frequentanti): 3.47 su 4; la media del CdS è stata 3.30;
• Sicurezza delle reti (non frequentanti): dato non disponibile, essendo il numero di studenti inferiore a 5.


4) INCARICHI ISTITUZIONALI

* Coordinatore del Collegio dei Docenti del Dottorato in Informatica di Verona (2016-)
* Referente per l'Assicurazione della Qualita' del Corso di laurea magistrale in Ingegneria e scienze informatiche (2016-)
* Membro del Consiglio della Scuola di Dottorato in Scienze Naturali e Ingegneristiche(2016-)
* Presidente della Commissione di valutazione per l'affidamento di insegnamenti per i SSD INF/01 e ING-INF/*} (2013-)
* Presidente della Commissione Didattica della Laurea in Informatica ed Informatica Multimediale, Universita' di Verona, (2006-2013)
* Membro della Giunta del Consiglio di Dipartimento di Informatica di Verona, (2009-2015)
* Membro della Commissione Didattica del GRIN (2008-2011)
* Vice presidente del Corso di Laurea in Informatica della Facolta' di Scienze MMFFNN dell'Universita' di Verona (2006-2012)
* Membro della Commissione giudicatrice di un concorso per una procedura selettiva per un posto di professore di II fascia INF/01, 2014
* Presidente della Commissione giudicatrice del concorso di ammissione al Dottorato in Informatica di Verona, 2012.


2. Esperienza di coordinamento centrale o di unità di gruppi di ricerca e/o di progetti nazionali o internazionali competitivi negli ultimi 10 anni


Progetto di ricerca nazionale (es. PRIN, FIRB, Fondazioni ecc.)
 
se valorizzato:    

Progetto di ricerca internazionale (es. FP7, ERC, NIH, ecc.)
 
se valorizzato:    

3. Partecipazione a comitati di direzione o di redazione di riviste A/ISI/Scopus

3a. Direzione di riviste, collane editoriali, enciclopedie nell'ultimo decennio

Responsabilità Titolo editoriale Anno inizio Anno fine


3b. Partecipazione a comitati di redazione

n. Responsabilità Titolo editoriale Anno inizio Anno fine
1. Associate editor  Mobile Information Systems - ISSN: 1574-017X (indicizzata su Scopus)  2014   
2. Editor  Open Computer Science - ISSN: 2299-1093 (indicizzata su WoS)  2015   
3. Review editor  Frontiers in ICT, Computer and Network Security - ISSN: 2297-198X  2014   



Membri del collegio (Personale Docente e Ricercatori delle Università Italiane)

n. Cognome Nome Ateneo Dipartimento/ Struttura Ruolo Qualifica Settore concorsuale Area CUN-VQR SSD Stato conferma adesione
1. BONACINA   Maria Paola   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  01/B1   01   INF/01   ha aderito 
2. COMBI   Carlo   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  01/B1   01   INF/01   ha aderito 
3. FIORINI   Paolo   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  09/H1   09   ING-INF/05   ha aderito 
4. FUMMI   Franco   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  09/H1   09   ING-INF/05   ha aderito 
5. GIACOBAZZI   Roberto   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  01/B1   01   INF/01   ha aderito 
6. MANCA   Vincenzo   VERONA  Informatica  Altro Componente  Professore Ordinario  01/B1   01   INF/01   ha aderito 
7. SEGALA   Roberto   VERONA  Informatica  Altro Componente  Professore Ordinario  01/B1   01   INF/01   ha aderito 
8. VILLA   Tiziano   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario  09/H1   09   ING-INF/05   ha aderito 
9. BELUSSI   Alberto   VERONA  Informatica  Altro Componente  Professore Associato confermato  09/H1   09   ING-INF/05   ha aderito 
10. GIACHETTI   Andrea   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato confermato  01/B1   01   INF/01   ha aderito 
11. MENEGAZ   Gloria   VERONA  Informatica  Componente del gruppo dei 16  Professore Ordinario (L. 240/10)  01/B1   01   INF/01   ha aderito 
12. MERRO   Massimo   VERONA  Informatica  Coordinatore  Professore Associato confermato  01/B1   01   INF/01   ha aderito 
13. PRAVADELLI   Graziano   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato confermato  09/H1   09   ING-INF/05   ha aderito 
14. SPOTO   Nicola Fausto   VERONA  Informatica  Altro Componente  Professore Associato confermato  01/B1   01   INF/01   ha aderito 
15. BICEGO   Manuele   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  09/H1   09   ING-INF/05   ha aderito 
16. CRISTANI   Marco   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  09/H1   09   ING-INF/05   ha aderito 
17. LIPTAK   Zsuzsanna   VERONA  Informatica  Altro Componente  Ricercatore confermato  01/B1   01   INF/01   ha aderito 
18. MASTROENI   Isabella   VERONA  Informatica  Altro Componente  Professore Associato (L. 240/10)  01/B1   01   INF/01   ha aderito 
19. OLIBONI   Barbara   VERONA  Informatica  Altro Componente  Ricercatore confermato  01/B1   01   INF/01   ha aderito 
20. CASTELLANI   Umberto   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  01/B1   01   INF/01   ha aderito 
21. FARINELLI   Alessandro   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  01/B1   01   INF/01   ha aderito 
22. DI PIERRO   Alessandra   VERONA  Informatica  Altro Componente  Professore Associato confermato  01/B1   01   INF/01   ha aderito 
23. POSENATO   Roberto   VERONA  Informatica  Altro Componente  Ricercatore confermato  01/B1   01   INF/01   ha aderito 
24. CICALESE   Ferdinando   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  01/B1   01   INF/01   ha aderito 
25. GIUGNO   Rosalba   VERONA  Informatica  Componente del gruppo dei 16  Professore Associato (L. 240/10)  01/B1   01   INF/01   ha aderito 
26. VIGANO'   Luca   VERONA  Informatica  Altro Componente  Professore Associato confermato  01/B1   01   INF/01   ha aderito 
27. BOMBIERI   Nicola   VERONA  Informatica  Altro Componente  Professore Associato (L. 240/10)  09/H1   09   ING-INF/05   ha aderito 
28. QUAGLIA   Davide   VERONA  Informatica  Altro Componente  Ricercatore confermato  09/H1   09   ING-INF/05   ha aderito 
29. MURADORE   Riccardo   VERONA  Informatica  Altro Componente  Ricercatore a t.d. (art. 24 c.3-b L. 240/10)  09/H1   09   ING-INF/05   ha aderito 
30. DALLA PREDA   Mila   VERONA  Informatica  Altro Componente  Ricercatore a t.d. (art. 24 c.3-b L. 240/10)  01/B1   01   INF/01   ha aderito 
31. DADUCCI   Alessandro   VERONA  Informatica  Altro Componente  Ricercatore a t.d. (art. 24 c.3-b L. 240/10)  09/G2   09   ING-INF/06   ha aderito 
32. FRANCO   Giuditta   VERONA  Informatica  Altro Componente  Ricercatore confermato  01/B1   01   INF/01   ha aderito 
33. CRISTANI   Matteo   VERONA  Informatica  Altro Componente  Ricercatore confermato  01/B1   01   INF/01   ha aderito 
34. CARRA   Damiano   VERONA  Informatica  Altro Componente  Ricercatore confermato  09/H1   09   ING-INF/05   ha aderito 
35. SALA   Pietro   VERONA  Informatica  Altro Componente  Ricercatore a t.d. - t.pieno (art. 24 c.3-a L. 240/10)  01/B1   01   INF/01   ha aderito 
36. GERETTI   Luca   VERONA  Informatica  Altro Componente  Ricercatore a t.d. - t.pieno (art. 24 c.3-a L. 240/10)  09/H1   09   ING-INF/05   ha aderito 


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

n. Cognome Nome Ruolo Tipo di ente: Ateneo/Ente di appartenenza Paese Dipartimento/ Struttura Qualifica Codice fiscale SSD Attribuito Area CUN-VQR attribuita N. di Pubblicazioni (*)


(*) se è di un settore bibliometrico, inserire il numero di prodotti pubblicati negli ultimi cinque anni (dal 2013 ad ora) su riviste scientifiche contenute nelle banche dati internazionali “Scopus” e “Web of Science”
(*) se è di un settore non bibliometrico, inserire il numero di prodotti pubblicati negli ultimi dieci anni (dal 2008 ad ora) in riviste di classe A




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 Tipologia di collaborazione
1. UNIVERSITY OF CALIFORNIA, BERKELEY  Stati Uniti d'America  (max 500 caratteri)
Attività di ricerca congiunta. Visite reciproche con nostri studenti di dottorato che hanno trascorso lunghi periodi a Berkeley.
 
2. INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE (INRIA)  Francia  (max 500 caratteri)
Attività di ricerca e progetti congiunti (cofinanziati da UniVR e INRIA). Scambio di studenti nel quadro del Programma Europeo ERASMUS.
 
3. TECHNISCHE UNIVERSITAET MUENCHEN  Germania  (max 500 caratteri)
Attività di ricerca congiunta. Collaborazioni nell'ambito di progetti europei.
 
4. KING'S COLLEGE LONDON  Regno Unito  (max 500 caratteri)
Attività di ricerca congiunta. Collaborazioni nell'ambito di progetti europei e organizzazione di conferenze e scuole di dottorato.
 
5. SRI INTERNATIONAL, MENLO PARK, CALIFORNIA  Stati Uniti d'America  (max 500 caratteri)
Attività di ricerca congiunta.
 


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

(max 1.500 caratteri)
Circa il 90% dei dottori che hanno conseguito il titolo negli ultimi 10 anni sono impiegati presso università, centri di ricerca e aziende nazionali e internazionali nelle quali stanno mettendo direttamente a frutto quanto appreso durante il dottorato.

Negli ultimi 3 anni, il Corso di Dottorato di Ricerca in Informatica ha laureato 24 dottori di ricerca: 10 dottori nel 2014, 6 dottori nel 2015 e 8 dottori nel 2016.

La situazione occupazionale dei dottori di ricerca che hanno conseguito il titolo negli ultimi 3 anni e' la seguente:

- 2014: 8 postdoc e 1 RTDa (su Progetto EU). Istituzioni coinvolte: a) Imperial College London; b) Griffith University, Australia; c) Università di Verona; d) Aarhus University, Denmark.

- 2015: 3 postdoc e 1 research associate. Istituzioni coinvolte: a) Università di Verona; b) Singapore University; c) University of Luxembourg.

- 2016: 3 postdoc, 1 R&D engineer e 1 research associate. Istituzioni coinvolte: a) Università di Verona; b) University of Tallin, Estonia; c) Californian Institute of Technology, US.


Note


3. Eventuali curricula
Curriculum dottorali afferenti al Corso di dottorato
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: 40  n.ro insegnamenti: 12  di cui è prevista verifica finale: 12 
Insegnamenti mutuati da corsi di laurea magistrale SI  n.ro: 1  di cui è prevista verifica finale: 1 
Insegnamenti mutuati da corsi di laurea (primo livello) NO  n.ro: 0  di cui è prevista verifica finale: 0 
Cicli seminariali SI 
Soggiorni di ricerca SI  ITALIA- al di fuori delle istituzioni coinvolte
ESTERO nell’ambito delle istituzioni coinvolte
ESTERO - al di fuori delle istituzioni coinvolte
 
Periodo medio previsto (in mesi per studente): 6 


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

Tipologia  Descrizione sintetica (max 500 caratteri per ogni descrizione)
Linguistica La Scuola di Dottorato supporta corsi di lingua Inglese ai dottorandi di tutti i ad essa afferenti, e prevede il finanziamento di corsi di altra lingua qualora questi fossero ritenuti congruenti all’iter formativo. La Scuola organizza e finanzia corsi di Academic Writing di e Academic Presentation Skills.
L'aspetto linguistico sarà inoltre affinato dal fatto che la maggior parte dei seminari del dottorato sarà tenuta in lingua inglese e dal sostegno alla mobilità internazionale degli studenti.
 
Informatica La formazione in ambito informatico di base si ritiene acquisita quale risultato del precedente iter formativo. Il corso di dottorato supporta la formazione a livello avanzato mediante corsi ad-hoc strutturati in vario modo tra cui corsi di carattere seminariale, summer school, e formazione all’uso di strumenti software avanzati per specifiche applicazioni. 
Gestione della ricerca, della conoscenza dei sistemi di ricerca e dei sistemi di finanziamento La Scuola di Dottorato, con l’Area Ricerca di Ateneo, coordina e promuove attività formative volte all’internazionalizzazione e al fund raising, con seminari sulla gestione della ricerca e sulla conoscenza dei sistemi di finanziamento. Tra queste attività rientrano seminari trasversali a carattere metodologico volti all’identificazione delle fonti di finanzamento nazionali ed internazionali e alla redazione di proposte (Grant Writing and European Proposals). 
Valorizzazione dei risultati della ricerca e della proprietà intellettuale La Scuola coordina e promuove attività formative di alto profilo favorendo la ricerca in diversi ambiti disciplinari, interdisciplinari e multidisciplinari. Attività volte alla valorizzazione dei risultati della ricerca e della proprietà intellettuale, di introduzione al trasferimento tecnologico, di redazione di articoli scientifici e del CV.
Il Corso di Dottorato integra l’attività della Scuola enfatizzando aspetti specifici delle tematiche di Informatica.
 


Note

(MAX 1.000 caratteri):
Attività didattica regolare ed eterogenea attraverso l’offerta di corsi di dottorato su argomenti “caldi“ nelle aree di ricerca del Dipartimento, che vengono offerti dai membri del Collegio dei Docenti o da ospiti invitati a tenere corsi specifici.
La programmazione didattica avviene annualmente con congruo anticipo e in sinergia con quella dei Corsi di Laurea. In particolare, il Collegio offre annualmente almeno due corsi avanzati, almeno due seminari metodologici con il coordinamento della Scuola, un PhD Day, in cui i dottorandi del secondo e terzo anno presentano la propria ricerca.
Ogni dottorando viene valutato con cadenza annuale dalla propria commissione, a cui deve inviare un rapporto sulla propria ricerca che illustrerà in un seminario aperto a tutti i membri del collegio e agli studenti di dottorato.
Tabella attività formativa trasversale della Scuola di Dottorato in Scienze Naturali ed Ingegneristiche: http://www.univr.it/main?ent=ava&scuoladott=14 .

5. Posti, borse e budget per la ricerca

Posti, borse e budget per la ricerca

Descrizione Ciclo 34° Anagrafe dottorandi (33°) Ciclo 33°
A - Posti banditi
(messi a concorso)
 
1. Posti banditi con borsa   N. 19  13  12  
2. Posti coperti da assegni di ricerca   N. 0  0   
3. Posti coperti da contratti di apprendistato   N. 0  0   
Sub totale posti finanziati (A1+A2+A3)   N. 19  N. 13  N. 12 
4. Eventuali posti senza borsa   N. 0  0   
B - Posti con borsa riservati a laureati in università estere   N. 0  0  1  
C - Posti riservati a borsisti di Stati esteri   N. 0  0   
D - Posti riservati a borsisti in specifici programmi di mobilità internazionale   N. 0  0   
E - Posti riservati a dipendenti di imprese impegnati in attività di elevata qualificazione (dottorato industriale) o a dipendenti di istituti e centri di ricerca pubblici impegnati in attività di elevata qualificazione (con mantenimento di stipendio)   N. 0  0   
F - Posti senza borsa riservati a laureati in Università estere   N. 0  0   
TOTALE = A + B + C + D + E + F   N. 19  N. 13  N. 13 
DI CUI CON BORSA = TOTALE – A4 - F   N. 19  N. 13  N. 13 
Importo della borsa
(importo annuale al lordo degli oneri previdenziali a carico del percipiente)
 
Euro: 15.343,28     
Budget pro-capite annuo per attività di ricerca in Italia e all’Estero
(a partire dal secondo anno, in termini % rispetto al valore annuale della borsa al lordo degli oneri previdenziali a carico del percipiente)
 
(min 10% importo borsa): 10,00     
Importo aggiuntivo alla borsa per mese di soggiorno di ricerca all’estero
(in termini % rispetto al valore mensile della borsa al lordo degli oneri previdenziali a carico del percipiente)
 
(MAX 50% importo borsa): 50,00     
BUDGET complessivamente a disposizione del corso per soggiorni di ricerca all'estero
(importo lordo annuale comprensivo degli oneri previdenziali a carico del percipiente)
 
Euro: 58.304,16     
 


Fonti di copertura del budget del corso di dottorato (incluse le borse)

FONTE  Importo (facoltativo) Descrizione Tipologia
(max 200 caratteri)
Fondi Ministeriali   Vedi nota 
Progetti competitivi o fondi messi a disposizione dal proponente 389.675,00  € 288.000 imp.trien.lord. 4 borse su Dipartimento di Eccellenza + € 66.780 Finanziamento EU per borsa Invite + € 12.000 fondi Dip.to x cofin. Scuola + € 22.895 da Dip.to x mobilità dottorandi 
Fondi di ateneo 536.771,65  € 516.151,65 importo triennale lordissimo 7 borse + € 10.620 cofinanziamento borsa Invite + € 10.000,00 fondo funzionamento dottorato 
Finanziamenti esterni 516.173,25  € 21.600 cofin.Regione Veneto borsa Invite + € 294.943,80 imp.lord. 4 borse su pogetti H2020 + € 73.735,95 su progetto Fondazione Cariverona + € 147.471,90 finanz. IIT per 2 borse 
Altro   La Scuola dispone di € 142.000,00 (60.000 Ateneo + 50.000 Internaz. + 32.000 cofin. Dip.ti) per il funzionamento e la gestione delle attività comuni 


Note

(MAX 1.000 caratteri):
Il costo delle borse, incluse quelle a valere sui fondi ministeriali e quelle in valutazione in Fondazione Cariverona e Banco BPM, viene anticipato dall'Ateneo e, a seguito della comunicazione di assegnazione, verrà ripartito tra le varie voci di spesa (Fondi di Ateneo, Fondi Ministeriali, Fondazione Cariverona, Banco BPM).

6. Strutture operative e scientifiche

Strutture operative e scientifiche

Tipologia Descrizione sintetica (max 500 caratteri per ogni descrizione)
Attrezzature e/o Laboratori   9 laboratori del Dipartimento a disposizione dei dottorandi:ALTAIR(robotica),ESD(Electronic System Design),PARCO(parallel computing),NES(Network Embedded Systems),NAVLAB (neuroimaging),SPY(Metodi formali e sicurezza),STARS (Semistructured,Temporal clinicAL GeogRaphical Systems),VIPS(Vision,Image Processing & Sound),laboratorio di Informatica generale. 
Patrimonio librario   consistenza in volumi e copertura delle tematiche del corso   La Biblioteca del Dipartimento di Informatica "Bruno Forte" e' a disposizione degli studenti di dottorato. La biblioteca e' dotata di 3430 monografie. I testi disponibili coprono le aree di ricerca del Dipartimento di Informatica.
Gli studenti possono anche accedere alle bigblioteche centrali di ateneo:
- Biblioteca Frinzi (Periodici: 3986; Monografie: 181289)
- Biblioteeca Meneghetti (Periodici: 2309; Monografie: 30246)
 
abbonamenti a riviste (numero, annate possedute, copertura della tematiche del corso)   La Biblioteca del Dipartimento di Informatica "Bruno Forte" mette a disposizinoe degli studenti di dottorato l'abbonamento a 21 periodici, che coprono circa il periodo 2005-2016. Di alcune riviste la biblioteca possiede la collezione completa, come ad esempio IEEE Transaction of Automatic Control, and Automation and Robotics, e Presence. Le riviste coprono gli argomenti di maggior interese nelle aree di ricerca del Dipartimento. 
E-resources   Banche dati (accesso al contenuto di insiemi di riviste e/o collane editoriali)   Il sistema bibliotecario di ateneo (anche tramite collegamento VPN) mette a disposizione degli studenti di dottorato tutte le banche dati disponibili in Ateneo. Di particolare interesse per gli studenti del dottorato di informatica sono le segeunti banche dati:
- Scopus
- Current Protocols in Bioinformatics
- IEEE Xplore Digital Library
- International Law in Domestic Courts (Oxford)
- ISSN Portal
- ACM - Association for Computing Machinery
- Meddling
- Springer Journals
- Web of science
 
Software specificatamente attinenti ai settori di ricerca previsti   In aggiunta alla rete wired e Wi-fi di Ateneo e le varie reti LAN di dipartimento, gli 11 laboratori di cui sopra sono tutti dotati di computer e attrezzature informatiche per consentire ai dottorandi una proficua attività di ricerca. Inoltre, il dipartimento finanzia l'acquisto di materiale elettronico (laptop, monitor, etc.) per tutti i dottorandi borsisti al primo anno. 
Spazi e risorse per i dottorandi e per il calcolo elettronico   Ogni studente del dottorato in informatica ha a sua disposizione un'area di lavoro attrezzata con tavolo, sedie e cassettiera negli spazi del Dipartimento di Informatica. Oltre ai server di Dipartimento per le pagine web e la posta elettronica, il Dipartimento fornisce a ciscun studente un PC di sua scelta e il software di base per usarlo. Infine, ciascun laboratorio di ricerca e' attrezzato con server e strumenti di calcolo dedicati alle aree di ricerca specifiche. 
Altro   Negli spazi del Dipartimento di Informatica e' situato il bar Swan, a cui gli studenti di dottorato possono accedere nei momenti di pausa. 


Note

(MAX 1.000 caratteri):
Il Dipartimento di Informatica, oltre a garantire spazio di ricerca nei vari uffici e in laboratori all’avanguardia e ben attrezzati, mette a disposizione del Corso di Dottorato fondi considerevoli per tutte le attività di ricerca, tra i quali: co-finanziamento di una o più borsa di dottorato per ciclo, finanziamento dell’acquisto di computer, software e hardware per i borsisti, finanziamento di singole commissioni di esame finale di dottorato (in modo che ogni dottorando abbia una propria commissione di valutazione) e finanziamento di assegni di ricerca per quei dottorandi che, avendo consegnato la tesi di dottorato, intendono già da subito continuare la propria ricerca con un percorso di post-dottorato.

7. Requisiti e modalità di ammissione

Requisiti richiesti per l'ammissione

Tutte le lauree magistrali: SI, Tutte 
se non tutte, indicare quali:  
Altri requisiti per studenti stranieri: (max 500 caratteri):
master of science/art o equivalente
 
Eventuali note (max 500 caratteri):
*La valutazione dei titoli è propedeutica per l’ammissione alle prove concorsuali. Verranno ammessi alla prova orale solo i candidati che avranno riportato un punteggio minimo di 40/60.
 


Modalità di ammissione

Modalità di ammissione
Titoli
Prova orale
Lingua
Altro
 
Per i laureati all'estero la modalità di ammissione
è diversa da quella dei candidati laureati in Italia?
NO 
se SI specificare:  


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: 40 


Note

(MAX 1.000 caratteri):
Candidati Italiani:
• Valutazione dei titoli
• Prova orale

Candidati stranieri:
• Valutazione dei titoli
• Prova orale, eventualmente in forma telematica

Titoli da presentare:
• Curriculum Vitae
• Certificato con voto di Laurea (se conseguita entro i termini di presentazione della domanda)
• Tesi di Laurea (se conseguita entro i termini di presentazione della domanda)
• Certificato esami (con voti)
• Eventuali pubblicazioni scientifiche
• Altri titoli che il candidato ritenga utili ai fini della valutazione
• Eventuali precedenti esperienze di ricerca debitamente documentate
• Lettera di motivazione del candidato
• 2 lettere di referenze (eventualmente rilasciate da docenti delle università di conseguimento dei titoli)

La prova orale verterà su argomenti di carattere informatico atti a verificare l’attitudine del candidato alla ricerca.



Dottorato innovativo a caratterizzazione internazionale

• Dottorato in collaborazione con Università e/o enti di ricerca esteri   NO
 
 
• Dottorato relativo alla partecipazione a bandi internazionali (e.g. Marie Skłodowska Curie Actions, ERC)   SI   
• Collegio di dottorato composto per almeno il 25% da docenti appartenenti a qualificate università o centri di ricerca stranieri   NO   
• Presenza di eventuali curricula in collaborazione con Università/Enti di ricerca estere e durata media del periodo all'estero dei dottori di ricerca pari almeno a 12 mesi   NO
 
 
• Presenza di almeno 1/3 di iscritti al Corso di Dottorato con titolo d'accesso acquisito all'estero ***   NO   


Dottorato innovativo a caratterizzazione intersettoriale

• Dottorato in convenzione con Enti di Ricerca   SI
 
Motivazione:
Il corso di dottorato ha sottoscrittuo una convenzione con 'Istituto Italiano di Teconologia (IIT) che coinvolge in stage o in sviluppo di progetti di ricerca i dottorandi.
 
• Dottorato in convenzione con le imprese o con enti che svolgono attività di ricerca e sviluppo   NO
 
 
• Dottorato selezionato su bandi internazionali con riferimento alla collaborazione con le imprese   NO
 
 
• Dottorati inerenti alle tematiche dell’iniziativa “Industria 4.0  SI
 
Motivazione:
Il Dipartimento di Informatica è risultato vincitore di un Progetto MIUR "Dipartimenti di Eccellenza 2018-2022". Il Progetto verte su Industria 4.0, e nel 34esimo ciclo finanzia 4 borse di dottorato. Ulteriori 5 borse verrano finanziate nei prossimi cicli.
 
• Presenza di convenzione con altri soggetti istituzionali su specifici temi di ricerca o trasferimento tecnologico e che prevedono una doppia supervisione   SI
 
Motivazione:
Il corso di dottorato ha stipulato una convenzione con l'Istituto Italiano di Teconologia (IIT) che e' coinvolta in doppia supervisione su progetti di ricerca svolti da dottorandi.
 


Dottorato innovativo a caratterizzazione interdisciplinare

• Dottorati (con esclusione di quelli suddivisi in curricula) con iscritti provenienti da almeno 2 aree CUN, rappresentata ciascuna per almeno il 30% (rif. Titolo LM o LMCU )   SI   
• Corsi appartenenti a Scuole di Dottorato che prevedono contestualmente ambiti tematici relativi a problemi complessi caratterizzati da forte multidisciplinarità   SI
 
Motivazione:
Il corso afferisce alla Scuola di dottorato di Scienze Naturali ed Ingegneristiche che aggrega i corsi di area si scienze e ingegneria. La scuola ha un forte carattere multidisciplinare, coinvolgenti piu' SSD, consentendo di affrontare tematiche ad elevata complessità anche con il contributo di docenti stranieri.
 
• Dottorati inerenti alle tematiche dei

Big Data
, relativamente alle sue metodologie o applicazioni
 
NO
 
 
• Dottorati che rispondono congiuntamente ai seguenti criteri      
presenza nel Collegio di Dottorato di docenti afferenti ad almeno due aree CUN, rappresentata ciascuna per almeno il 20% nel Collegio stesso   SI   
somma degli indicatori (R + X1 + I) almeno pari a 2,8 per ciascuna area   (dato disponibile successivamente alla valutazione di ANVUR)   
presenza di un tema centrale che aggreghi coerentemente discipline e metodologie diverse, anche con riferimento alle aree ERC   SI  Motivazione:
Il corso tratta tematiche interdisciplinari, come le tecnologie dell’informazione applicate alle scienze della vita e all’analisi di sistemi biologici complessi.
 


Chiusura proposta e trasmissione: 28/03/2018


.