Nicoletta COCCO

Qualifica
Professoressa in quiescenza
E-mail
cocco@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/cocco (scheda personale)

Iter di studio e incarichi ricoperti

  • Laurea in Matematica, con lode, Univ. di Padova, marzo 1979;
  • Borsa di studio C.N.R. per laureati, per Analisi ed Informatica Matematica, presso il Seminario Matematico dell'Università di Padova, dal 15 novembre 1979 al 15 novembre 1982;
  • Borsa di studio NATO per l'estero, per le Scienze Matematiche, presso il Dept. of Computer and Information Science, Graduate Research Center, University of Massachusetts-Amherst - USA, dal 1 settembre 1984 al 31 agosto 1985.
  • Ricercatore di Informatica, presso il Dipartimento di Matematica Pura e Applicata dell'Università di Padova, dal 16 marzo 1984 al 31 ottobre 1992;
  • Professore Associato di Elaborazione Elettronica dei Dati, presso lo I.U.A.V., Venezia, dal 1 novembre 1992 al 31 ottobre 1993; 
  • Professore Associato di Linguaggi di Programmazione, presso l'Universita' Ca' Foscari di Venezia, dal 1 novembre 1993.

Temi di ricerca

L'attività di ricerca si è articolata intorno varie tematiche relative all'affidabilita' dei programmi, considerando sia le caratteristiche linguistiche e le metodologie di programmazione che concorrono a garantirla, sia i formalismi per descrivere proprietà dei programmi e le tecniche per verificarne la correttezza. In particolare sono stati studiati i seguenti argomenti:

  • analisi e verifica di correttezza dei programmi;
  • trasformazione di programmi logici;
  • sintassi e semantica dei linguaggi di programmazione;
  • programmazione concorrente, distribuita e in tempo reale.

Attualmente l'attività di ricerca riguarda applicazioni dell'informatica teorica alla biologia. In particolare:

  • modelli formali di sistemi biologici;
  • tecniche di analisi di bio-sequenze.