Projects

European

• Marie Curie Actions-People IRSES-612638 CORCON (Correctness by Construction) (start, 01/01/2014, duration 48 months)
• Thematic network IST-2001-38957 APPSEM II (start 01/01/2003, duration: 36 months, funding: ????)
• EC project IST-2001-33477 Dynamic Assembly, Reconfiguration and Type-checking (start 01/01/2002, duration: 36 months, EC funding: 913.000 EURO)
• ESPRIT WG APPlied SEMantics (start 01/04/1998, duration: 48 months, funding: 15.6 KECU)
• ESPRIT BRA (start 01/10/1992, duration 40 months, funding: 103 KECU) Categorical Logic in Computer Science (local copy)
• EC SCIENCE Twinning (start 01/09/1992, duration 45 months, funding: 59.5 KGBP) Programming Language Semantics and Program Logics (local copy)

National

• FIRB Web-MiNDS
• MURST programma di ricerca di interesse nazionale (start: 01/12/2001, duration: 24 months, funding: 81+35 MITL): Network Aware Programming: Oggetti, Linguaggi, Implementazioni (NAPOLI).
• MURST programma di ricerca di interesse nazionale (start: 26/11/1999, duration: 24 months, funding: 63+27 MITL): Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
• MURST programma di ricerca di interesse nazionale (start: 15/02/1998, duration: 24 months, funding: 116.5+87.5 MITL): Sistemi formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software.
• MURST 40% (1996, funding: 6 MITL): Logica matematica e applicazioni

Local

• Bando per assegno di ricerca (G.U. n. 80 - IV serie speciale - del 13.10.1998) Deadline: 12/11/1998
• progetto di ricerca di ATENEO (1997-98, funding: 43 MITL): Modelli, metodi e linguaggi per progettazione di software.
  Bozza Rendiconto 1997: dvi (latex).
  Contribuisce al cofinanziamento di Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software.
• progetto di ricerca di ATENEO (1999, funding 43 MITL): Modelli, metodi e linguaggi per progettazione di software (continuazione).