Persone

Francesco RANZATO

E-mail: Utilizzare form di ricerca
Tipologia: Docenti Afferenti
Stanza: 435, Docenti
Pagina Web: http://www.math.unipd.it/~ranzato
Telefono: 049 827 1369
Qualifica: Professore Associato Confermato
Area Ricerca: INF/01, Informatica
Specifica Area Ricerca: Analisi statica, verifica automatica, interpretazione astratta, model checking, semantica formale

Aree di Ricerca

Topic di Ricerca

  • Modelli e linguaggi per sistemi concorrenti, mobili e distribuiti: calcoli di processi, sistemi di riscrittura di grafi, semantiche true concurrent, equivalenze comportamentali.
  • Tecniche di analisi statica e verifica automatica di sistemi software: interpretazione astratta, tecniche partial order, diagnosi basata su modelli, approcci formali alla sicurezza.
NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X