Università Ca' Foscari Venezia > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

Nicoletta COCCO - Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
  • [INF/01] INFORMATICA
Settore Scientifico Disciplinare (SSD) affine
  • [ING-INF/05] SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Aree e linee di ricerca
  • Area: Informatica Linea: BIOINFORMATICS
  • Area: Informatica Linea: PROGRAMMING LANGUAGES

Competenze di ricerca

Formalismi e metodi per la verifica di proprieta� dei programmi e per la modellazione di sistemi

Description
  • Formal methods for program properties verification and for system modeling
Parole Chiave
  • Systems analysis and models development, Bioinformatics, Software technology

Ricerche sviluppate e in corso

Analisi e trasformazione di programmi logici

SSD
  • INF/01

Biologia computazionale: analisi di sequenze biologiche

SSD
  • INF/01

Biologia computazionale: Modellazione e analisi di vie metaboliche

SSD
  • INF/01

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale

Lingue conosciute

  • Inglese (scritto: avanzato, parlato: avanzato)

Strumenti

Puoi raggiungere questa pagina anche da www.unive.it/persone/cocco

Feed RSS Feed RSS degli avvisi personali

Collegamenti

Foto Persona

© Ca'Foscari 2013