Alberto Pettorossi

    Professore Ordinario
    Università di Roma "Tor Vergata"
    Dipartimento di Informatica, Sistemi e Produzione (DISP)
    Aree di ricerca:
       Automatic software development
       Program synthesis from logical specification
       Program transformation
       Automated theorem proving
    Home Page: www.iasi.rm.cnr.it/~adp
    Email: adp@iasi.rm.cnr.it
    Tel: +39 06 72597379 o +39 06 7716427
    Fax: +39 06 7716461
    Indirizzo: DISP
                 Università di Roma "Tor Vergata"
                 via del Politecnico, 00133 Roma, Italy