Professional History and Education

• Professional History
  • Professor, Informatica, Università degli Studi di Verona, Verona, Italy (since October 2002).

  • Associate Professor, Computer Science, The University of Iowa, Iowa City, Iowa, U.S.A. (Aug. 1998 - Sept. 2002).

  • Assistant Professor, Computer Science, The University of Iowa, Iowa City, Iowa, U.S.A. (Aug. 1993 - July 1998).

  • Post-doc work at the Argonne National Laboratory, Argonne, Illinois, U.S.A. (Jan. - Feb. 1993) and INRIA-Lorraine, Nancy, France, (Mar. - July 1993).

• Education
  • Graduate:
    
    • Ph.D., Computer Science, State University of New York at Stony Brook, Stony Brook, New York, U.S.A. (Aug. 1989 - Dec. 1992). (Computer Science Genealogy and Zohar Manna's Genealogy)
      
    • Dottorato di Ricerca, Informatica, Università degli Studi di Milano, Milano, Italy (Nov. 1986 - Oct. 1990 (thesis defended in Jan. 1991 in Milano and in July 1991 in Rome)).
  • Undergraduate:
    Laurea (summa cum laude), Scienze dell'Informazione, Università degli Studi di Milano, Milano, Italy (Nov. 1982 - July 1986).
  • High school:
    Diploma di maturità scientifica, Liceo Scientifico Statale ``Filippo Lussana,'' Bergamo, Italy (Sept. 1977 - July 1982).

Maria Paola Bonacina