Alberto Pettorossi Associate Professor of Theoretical Computer Science

MAP  Research Center on  Advanced Programming Methodologies

Alberto Pettorossi Dipartimento di Informatica, Sistemi e Produzione Università  di Roma Tor Vergata Via del Politecnico 1 I-00133 Roma,  Italy Phone: +39 06 7259 7379 email:

c/o  Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti"        Consiglio Nazionale delle Ricerche        Viale Manzoni 30         I-00185 Roma,  Italy Phone: +39 06 7716 427    Fax: +39 06 7716 461  email:

Teaching                       back-to-top

- 2004-05:  Informatica Teorica.      Programmazione Orientata agli Oggetti (corso bis: J-Z).
                 Concurrent and Distributed Computations.   Automi, Linguaggi e Traduttori (Laurea on-line).
- 2003-04:  Informatica Teorica.      Programmazione a Oggetti e Concorrente (corsi A-I e J-Z).
                 Concurrent and Distributed Computations.
- 2002-03:  Informatica Teorica.      Algoritmi e Strutture di Dati.
- 2001-02:  Informatica Teorica.      Algoritmi e Strutture di Dati.
- 2000-01:  Informatica Teorica.      Fondamenti di Informatica 3.
- Errata-Corrige of Lecture Notes.
- Laurea and Laurea Specialistica: topics of theses.
- Old Courses.
   

Research                        back-to-top

MAP  Research Center on Advanced Programming Methodologies

Research Projects (details)

Links                              back-to-top

Colleagues: FabioFioravanti, Sophie Renault, Maurizio Proietti
 

Events                           back-to-top

• LoPSTr 2004 14th International Workshop on Logic-based Program Synthesis and Transformation,  Verona, Italy (23-28/8, 2004).
• 58th Meeting of the IFIP Working Group 2.1, Rome, Italy, January 26 - 30, 2004.
• European Symposium: University and Church in Europe, on the occasion of the 7th Centenary of the Foundation of the University of Roma "La Sapienza". Rome (Italy) 17-20 July 2003. July 18th: Seminar on "Computers, Information, and Intelligence". Paper on: "Computing as Experimental Thinking".
• WRSC 2003  Workshop on Robust Software Construction, Hayama, Kanagawa, Japan, February 28 - March 2, 2003.
• ACM Sigplan ASIAN-PEPM Asian Symposium on Partial Evaluation and Semantics-based Program Manipulation http://www.comp.nus.edu.sg/asia-pepm02
• LoPSTr 2001 11th International Workshop on Logic-based Program Synthesis and Transformation,  Paphos, Cyprus (26/11-1/12, 2001). LNCS n. 2372 Springer-Verlag.
• APPIA-GULP-PRODE 2001 2001 Joint Conference on Declarative Programming, Evora, Portugal (26-28 / 9, 2001)
• International Congress on: "Information: Science and Technology for the Next Century", Rome (Italy), September 5-6, 2000.
• LoPSTr 2000 10th International Workshop on Logic-based Program Synthesis and Transformation. Stream of the First International Conference on Computational Logic
• 9th International Workshop on Logic-based Program Synthesis and Transformation LoPSTr '99
• 8th International Workshop on Logic-based Program Synthesis and Transformation LoPSTr '98
• European Symposium on Programming ESOP '98
• Third International  Workshop on "Meta-Programming in Logic", Uppsala, Sweden, June 1992. LNCS n. 649 Springer-Verlag  META-92.  Free copies of the Proceedings are available on request here.
• Workshops on Logic Program Synthesis and Transformation, LoPSTr
• International Conferences and Symposia on Logic Programming, ICLP-ILPS

 

Associations                 back-to-top

• Member of the IFIP Working Group 2.1 -Algorithmic Languages and Calculi
• The Association for Computing Machinery, ACM
• The Association of Logic Programming, ALP
• The European Association for Programming Languages and Systems, EAPLS
• The Italian Association of Logic Programming, GULP