Nicoletta COCCO

Position
Retired/Resigned Professor
E-mail
cocco@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/cocco (personal record)

Education and Academic Positions

  • "Laurea" in Mathematics, with honours, Università di Padova, Padova, Italy, March 1979;
  • "Borsista CNR" (post-laurea fellowship), Seminario Matematico, Univ. di Padova, Italy, Nov.1979 / Nov. 1982;
  • "Ricercatore" (Researcher), Dip. di Matematica Pura e Appl., Univ. di Padova, Italy, March 1984 / Oct. 1992;
  • Visiting Scientist (NATO fellowship), Dept. of Computer and Inf. Sc., Univ. of Massachusetts, Amherst, USA, Sept. 1984 /Aug.1985;
  • "Professore Associato" (Associate Prof.), Dip. di Urbanistica, I.U.A.V., Venezia, Italy, Nov. 1992 / Oct. 1993;
  • "Professore Associato" (Associate Prof.), Dip. di Informatica, Univ. Ca' Foscari Venezia, since Nov. 1993.

Research interests

  • languages and formalisms for distributed systems;
  • program correctness and semantics;
  • program transformation;
  • logic programming; 
  • formal models for biological systems;
  • analysis techniques for bio-sequences.