Advertisement

Ugo Montanari and Friends

  • Fabio Gadducci
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5065)

Abstract

Last, but by no means least... This section covers the most important facet of Ugo’s personality, namely, his tireless efforts in building national and international relationships, in order to foster the advance of research. Indeed, a large part of Ugo’s time is spent in casting a web of links among people as well as institutions, fostering research collaborations and exchanges of ideas. A facet of his personality Ugo is aware of, as he witnesses in his recent book-interview [11].

Consider e.g. the first three contributions of this section, and let us start chauvinistically with the Italian colleague, Angelo Raffaele Meo. Ugo often talks about those five years “lost to his research”, where he actively contributed to the shaping of the governmental guidelines for ITC. In the late Seventies, Meo was the chair of the National Program in Computer Sciences for the National Research Council (CNR); Ugo headed one of the three sections of that Program, devoted to Computer Industry. The major subproject of the Program was Campus Net (CNet) Project, lead by Norma Lijtmaer and running from 1979 to 1985. Ugo, Norma and Meo were the driving force behind CNet: the project represented a major focus for Italian ITC, maybe one of the most influential and ambitious among those projects combined into the first Progetto Finalizzato in Informatica sponsored by CNR. Research issues focused on developing the functional specification and implementing prototype versions of distributed systems on local networks. The technical accomplishments were initially spread in a series of technical reports, and the main achievements were collected in a two-volume proceedings of the final symposium [7], held in Pisa in June 24-28, 1985. The presence of a large group of industrial partners, among them Olivetti, had consequences far beyond the scientific assessments of the projects itself, in a booming period for the national industry. Moreover, the project was likely the defining moment for Ugo’s interests in concurrency, and one of the key steps in the rise of the whole area in Italy. Some of the outcomes of the project (such as [6], originally a CNet technical report) were later considered pivotal by key people like Robin Milner in the development of nominal calculi. The topic tackled by Meo in his article is maybe far from Ugo’s current interests. Nevertheless, let us not forget that Ugo was the coauthor of the first Italian textbook on formal languages and computability [5].

Keywords

Formal Language Monoidal Category Industrial Partner Computer Industry Late Seventy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Escuela Superior Latinoamericana de Informática. Wikipedia, The Free Encyclopedia (2008), en.wikipedia.org/wiki/Escuela_Superior_Latinoamericana_de_Informatica
  2. 2.
    SDCR Concurrency Working Group Materials (1996), www.cs.sunysb.edu/~sas/sdcr/
  3. 3.
    The CONCURRENCY Mailing List (2008), www.cwi.nl/~bertl/concurrency/
  4. 4.
    Convegno di Informatica Teorica. Editrice Tecnico Scientifica, Pisa (1973)Google Scholar
  5. 5.
    Aiello, M., Albano, A., Attardi, G., Montanari, U.: Elementi di Teoria della Computabilità, Logica, Teoria dei Linguaggi Formali. Editrice Tecnico Scientifica, Pisa (1976)Google Scholar
  6. 6.
    Astesiano, E., Zucca, E.: Parametric channels via label expressions in CCS. Theoretical Computer Science 33, 45–63 (1984)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Lijtmaer, N. (ed.): Distributed Systems on Local Networks. Vols I and II. Editrice Tecnico Scientifica, Pisa (1985)Google Scholar
  8. 8.
    Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Transactions on Programming Languages and Systems 4(2), 258–282 (1982)zbMATHCrossRefGoogle Scholar
  9. 9.
    Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation 88(2), 105–155 (1990)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Montanari, U.: CEDISYS: Compositional distributed systems - State of the art, research goals, references. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 507–524. Springer, Heidelberg (1990)Google Scholar
  11. 11.
    Montanari, U.: Idee per diventare informatico. Dalle schede perforate al futuro di internet. Zanichelli, Bologna (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Fabio Gadducci
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaItaly

Personalised recommendations