array(1) {
  [0]=>
  object(Apache_Solr_Document)#24 (3) {
    ["_documentBoost":protected]=>
    bool(false)
    ["_fields":protected]=>
    array(6) {
      ["content_id"]=>
      array(1) {
        [0]=>
        string(14) "DIRECTORY_4789"
      }
      ["content_title"]=>
      array(1) {
        [0]=>
        string(18) "ALBERTO PETTOROSSI"
      }
      ["description"]=>
      array(1) {
        [0]=>
        string(10582) "<document><p>
	Laureato con lode nel 1971 in Ingegneria Elettronica presso l'Universit&agrave; di Roma. Master in Computer Science, Syracuse, USA, nel 1978. Dottorato di ricerca in Computer Science, Edinburgh, Gran Bretagna, nel 1984. Premiato col Prof. Andrzej Skowron dalla Societ&agrave; Matematica Polacca nel 1988. Contrattista presso l'Universit&agrave; di Roma Sapienza (1974-75); ricercatore presso lo IASI-CNR di Roma (1975-1988); professore associato (1988-2005), straordinario (2005-2008), ordinario (dal 2008) presso l'Universit&agrave; di Roma Tor Vergata. Pubblicazione di pi&ugrave; di cento articoli in vari campi della teoria della programmazione: sistemi di riscrittura; computazione parallela; trasformazione, sviluppo e verifica automatica dei programmi; programmazione logica. Pubblicazione di sette libri didattici. Docente invitato presso varie istituzioni, tra cui: lo Stanford Research Center, USA; l'Universit&agrave; di Edimburgo; l'Universit&agrave; di Varsavia; l'Universit&agrave; di Utrecht; l'Argonne National Laboratory, Illinois, USA; l'IFIP, San Paolo, Brasile; l'Universit&agrave; di Copenhagen; l'Universit&agrave; di New York; l'AFCET-GT Programmation en Logique, Parigi; l'M.I.T., Boston, USA; l'&Eacute;cole Normale Sup&eacute;rieure de Cachan, Francia; la PUL di Roma; la ESSLLI 2000 presso l'Universit&agrave; di Birmingham; l'Universit&agrave; Waseda di Tokyo. Membro eletto dal 1984 dell'IFIP WG 2.1. Membro dal 2003 dell'Editorial Board della rivista Fundamenta Informaticae. Vicepresidente dal 2005 dell'Associazione Italiana di Programmazione Logica. Responsabile dal 1991 del Centro di Ricerca MAP presso il DISP dell'Universit&agrave; di Roma Tor Vergata. Collaboratore di ricerca dello IASI-CNR dal 1988. Relatore per i governi belga (1991) e quello olandese (1993) per la valutazione di progetti di ricerca. Chairman dei convegni: - MetaProgramming in Logic, Uppsala (Svezia), LNCS 649, Springer (1992); - Information: Science and Technology for the New Century, Rome (Italia), ISBN 978-88-465-0562-0 (2000); - LOPSTR 2001, Paphos (Cipro), LNCS 2372, Springer (2001). Membro permanente dello Steering Committee delle Conferenze LOPSTR. Membro del comitato di programma di vari congressi, tra cui: - International Symposium on Methodologies for Intelligent Systems Charlotte, USA, (1986-87), - Symposium on Partial Evaluation and Semantics based Program Manipulation (Copenhagen) (1993), Madrid (Spain) (2010), - CADE 12 (Nancy) (1994), - MetaProgramming in Logic '94 (Pisa) (1994), - Logic Program Synthesis and Transformation LOPSTR 1996, 1997, 1998, 1999, 2000, 2001, 2004, 2007, 2008, - European Symposium Programming '98 (Lisbon), Ukrainian Conference UkrPROG (Kiev), - International Conference Rough Sets and Current Trends in Computing (1998), - International Conference Computational Logic CL 2000 (London), - ASIA-PEPM'02 Asian Symposium PEPM, Aizu (Japan), 2002, - ICLP 2008 24th International Conference on Logic Programming Synthesis and Transformation, Udine (Italy), 2008, - SOFSEM 2010 36th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml&yacute;n, (Czech Republic), 2010. Track on: Principles of Software Construction. Referee per varie riviste tra cui: ACM Transactions on Programming Languages and Systems, Acta Informatica, Computing Journal, Journal of Theory and Practice of Logic Programming, Journal of Logic and Computation, IEEE Software Engineering, Theoretical Computer Science. Guest editor di due numeri della rivista Fundamenta Informaticae sulla Trasformazione di Programmi Logici (2005-06). Referee per vari congressi tra cui: ICALP, LICS, IFIP World Congress, Logic Programming, International Conference on Logic Programming, IJCAI, POPL, GI, AICA, CADE, LOPSTR, SAS, PLILP, Principles and Practice of Constraint Programming, PEPM, ESOP. Partecipazione a vari progetti di ricerca, tra cui: - Progetto ESPRIT sulla Trasformazione dei Programmi Logici (1984-89); - Collaborazione tra lo IASI-CNR di Roma e l'Universit&agrave; di Edimburgo (1981-86); - Progetto Finalizzato Informatica I e II (1989-1993); - Erasmus (STV-89-I-329/M) con l'Universit&agrave; di Utrecht (1990); - Network of Excellence in Computational Logic (1991); - Erasmus ICP-91-B-1063 per la mobilit&agrave; (1991-92); - COMPULOG II ESPRIT Project no. 6810 (1992-1995); - Humal Capital e Mobility CHRX-CT 93-00414 (1993-1996); - Progetto "Anatra: Strumenti per l'analisi e la trasformazione dei programmi" (1994-1995); - Progetto tra l'Europa e l'ex Unione Sovietica, INTAS 93-1702 (1994-1998); - Progetto CNR Programmazione Logica (1995-1996); - Progetto Galileo "Mod&eacute;lisation de syst&egrave;mes concurrents" con l'&Eacute;cole Normale Sup&eacute;rieure di Cachan (Francia) (1997-1998); - Progetto Cofinanziato "Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software" (1998-2000).</p></document><document><p>
	Laurea Degree cum laude in Electronic Engineering in 1971 from the University of Rome "Sapienza". - Master in Computer Science in 1978 from Syracuse University, USA. - Ph. D. degree in Computer Science in 1984 from Edinburgh University, Great Britain. - Prize for contributions in Theory of Computation, with Professor Andrzej Skowron, from the Polish Mathematical Society in 1988. Contract-holder at the University of Rome "Sapienza" (1974-75); Research Fellow at IASI-CNR of Roma (1975-1988); Associate Professor (1988-2005) and Full Professor (from 2005) at the University of Rome "Tor Vergata". More than one hundred papers published in various areas of Theory of Computation and Theory of Programming and, in particular: rewriting systems; parallel computation; transformation, development, and automatic verification of program; logic programming. Published seven university books on: Introduction to Informatics (Part I); Learning Pascal Through Examples; Automata Theory and Formal Languages; Computability, Decidability, and Complexity; Elements of Concurrent Programming; First Order Predicate Calculus (with Maurizio Proietti); Sequential and Concurrent Programming in Java. Invited lecturer in various international universities and research centers. Among them: the Stanford Research Center, USA; the University of Edinburgh; the University of Warsaw (Poland); the University of Utrecht (the Netherlands); l'Argonne National Laboratory, Illinois (USA); the IFIP W.G.2.1, San Paolo, Brasil; the University ok Copenhagen (Denmark); the University of New York (USA); l'AFCET-GT Programmation en Logique, Paris (France); l'M.I.T., Boston, USA; l'&Eacute;cole Normale Sup&eacute;rieure de Cachan, Francia; the Pontifical Lateran University of Rome (Italy); the ESSLLI 2000 at the University of Birmingham; Waseda University of Tokyo (Japan). Member of the IFIP WG2.1 since 1984. Member of the Editorial Board of the Fundamenta Informaticae Journal since 2003. Vice-president of GULP, the Italian Association of Users and Researchers in Logic Programming, since 2005. Director of the Research Center MAP (Advanced Programming Methodologies) at the Department of Informatics, Systems, and Production of the the University of Rome "Tor Vergata" since 1991. Research collaborator of the Institute IASI-CNR since 1988. Referee for the Belgian government (1991) and the Duch government (1993) for research projects in logic programming. Chairman of the following international meeetings: - MetaProgramming in Logic, Uppsala (Sweden), LNCS 649, Springer (1992); - Information: Science and Technology for the New Century, Rome (Italy), ISBN 978-88-465-0562-0 (2000); - LOPSTR 2001, Paphos (Ciprus), LNCS 2372, Springer (2001). Permanent Member of the Steering Committee of the LOPSTR conferences. Member of the Programme Committees of various International Conferences. Among them: - International Symposium on Methodologies for Intelligent Systems Charlotte, USA, (1986-87), - Symposium on Partial Evaluation and Semantics based Program Manipulation (Copenhagen) (1993) (Madrid, 2010), - CADE 12 (Nancy) (1994), - MetaProgramming in Logic '94 (Pisa) (1994), - Logic Program Synthesis and Transformation LOPSTR 1996, 1997, 1998, 1999, 2000, 2001, 2004, 2007, 2008, - European Symposium Programming '98 (Lisbon), Ukrainian Conference UkrPROG (Kiev), - International Conference Rough Sets and Current Trends in Computing (1998), - International Conference Computational Logic CL 2000 (London), - ASIA-PEPM'02 Asian Symposium PEPM, Aizu (Japan), 2002. - ICLP 2008 24th International Conference on Logic Programming Synthesis and Transformation, Udine (Italy) 2008. - SOFSEM 2010 36th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml&yacute;n, (Czech Republic) 2010. Track on: Principles of Software Construction. Referee for various international journals. Among them: ACM Transactions on Programming Languages and Systems, Acta Informatica, Computing Journal, Journal of Theory and Practice of Logic Programming, Journal of Logic and Computation, IEEE Software Engineering, Theoretical Computer Science. Guest editor of two issues of the Fundamenta Informaticae Journal on Logic Program Transformation (2005-06). Referee for various international conferences. Among them: ICALP, LICS, IFIP World Congress, Logic Programming, International Conference on Logic Programming, IJCAI, POPL, GI, AICA, CADE, LOPSTR, SAS, PLILP, Principles and Practice of Constraint Programming, PEPM, ESOP. Member of various research projects: - Project ESPRIT on Logic Program Transformation (1984-89); - Cooperation between the Institute IASI-CNR of Rome and the University of Edinburgh (1981-86); - "Progetto Finalizzato Informatica I and II" (1989-1993); - Erasmus (STV-89-I-329/M) with the University of Utrecht (1990); - Network of Excellence in Computational Logic (1991); - Erasmus ICP-91-B-1063 for Mobility (1991-92); - COMPULOG II ESPRIT Project no. 6810 (1992-1995); - Humal Capital e Mobility CHRX-CT 93-00414 (1993-1996); - Project "Anatra: Tools for the Analysis and the Transformation of Programs" (1994-1995); - Project between Europe and ex-Soviet-Union States, INTAS 93-1702 (1994-1998); - CNR Project Logic Programming (1995-1996); - Project Galileo "Mod&eacute;lisation de syst&egrave;mes concurrents" wiht the &Eacute;cole Normale Sup&eacute;rieure of Cachan (Francia) (1997-1998); - Progetto Cofinanziato "Formal Techniques for the specification, analysis, verification, synthesis, and transformation of software systems" (1998-2000).</p></document> a:0:{}"
      }
      ["meta_keywords"]=>
      array(1) {
        [0]=>
        string(1) ","
      }
      ["reserved"]=>
      array(1) {
        [0]=>
        string(1) "0"
      }
      ["auth_ip"]=>
      array(1) {
        [0]=>
        string(1) "0"
      }
    }
    ["_fieldBoosts":protected]=>
    array(6) {
      ["content_id"]=>
      bool(false)
      ["content_title"]=>
      bool(false)
      ["description"]=>
      bool(false)
      ["meta_keywords"]=>
      bool(false)
      ["reserved"]=>
      bool(false)
      ["auth_ip"]=>
      bool(false)
    }
  }
}