Research
back-to-Alberto Pettorossi

1. MAP  Research Center on "Advanced Programming Methodologies"

2. Program Transformation

3. Research  Papers  (see also https://dblp.org/pid/19/2451.html)  and

Papers on Epistemology and Artificial Intelligence

4. Talks (up to 2019)

5. The Map System

6. Logic Programming

7. Special Issues of FUNDAMENTA INFORMATICAE on Program Transformations
Part I:  Vol. 66, No. 4 April-May 2005
Part II: Vol. 69, Nos. 1-2 Winter 2005-2006

8. Errata-Corrige of BIT Paper (1985)

Old Research Projects
· Galileo Project with ENS, Cachan,   France (http://www.crui.it/)
· Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software (details)
 ========================================================================