Second assessment

# Criteri di valutazione Punteggio Motivazione del punteggio

1 Originalità del Progetto e suo contributo al progresso delle conoscenze scientifiche  10 eccellente
 
Il progetto unisce le tradizioni del lambda calcolo e delle logiche lineari per un'indagine originale degli aspetti formali dei linguaggi di programmazione 
2 Chiarezza e verificabilitā degli obiettivi  10 eccellente
 
Gli obiettivi si pongono in linea con le migliori tradizioni scientifiche come è testimoniato dal livello delle citazioni bibliografiche 
3 Appropriatezza dei metodi e delle tecniche da utilizzare  10 eccellente
 
I metodi sono adeguati agli scopi 
4 Adeguatezza delle risorse umane e strumentali giā disponibili e/o richieste  10 eccellente
 
Si tratta di gruppi di ricerca ben noti a livello italiano e internazionale 

5 Competenza del coordinatore scientifico  10 eccellente
 
Il coordinatore scientifico lavora da sempre in questo campo di ricerca con ottimi risultati 
6 Competenza dei gruppi proponenti  10 eccellente
 
Tutti i gruppi di ricerca sono coordinati da professori di ottimo livello scientifico 
7 Complementaritā dei gruppi proponenti  10 eccellente
 
Si tratta di gruppi che già hanno collaborato con ottimi risultati 


Commento generale


Il progetto secondo me va finanziato secondo quanto richiesto dai proponenti

Ribadisco che secondo me la proposta è seria e merita la considerazione del MIUR per il finanziamento


Punteggio finale 70 / 70

Raccomanda il progetto per il finanziamento? SI

L'entitā del finanziamento richiesto č: Congrua