• Dipartimento di Informatica

  • Logo dell'Universitˆ di Pisa
 
  • Home
  • Didattica
  • Ricerca
  • Dottorato
  • Persone
  • Organizzazione
  • Eventi
Home Persone Roberta Gori
English (UK)Italiano (IT)

Didattica

  • Pagina personale della didattica
  • Registri delle Lezioni

Ricerca

  • Articoli in DBLP
  • Articoli in Unimap
  • Progetti
    • PRA UniPi2020-2021 Metodi Informatici Integrati per la Biomedica.
    • ASPRA PRIN 2017-Analizzare le analisi di programma
    • PRA UniPi20017-Metodologie informatiche avanzate per l'analisi di dati biomedici.
    • PRA UniPi2015-Metodologie Computazionali per la medicina personalizzata.
    • PRIN MIUR COFIN2006-BISCA - Sistemi e calcoli di ispirazione biologica.
    • PRIN MIUR COFIN2004-AIDA - Abstract Interpretation design and Applications.
    • MURST e MCYT-Advanced Development Environments for Logic Programs.
    • PRIN MIUR COFIN2000-Abstract Interpretation, types, systems and control-flow analysis.
    • PRIN MIUR COFIN1999-Automatic Program certification by Abstract Interpretation.
Roberta Gori

Roberta Gori

Associate Professor

Studio: 319

roberta.gori-at-unipi.it

Telefono: +39 050 2213123
Fax: +39 050 2212726

Dipartimento di Informatica
Università di Pisa
Largo Bruno Pontecorvo, 3
56127 Pisa

Vecchia pagina web personale

Interessi di Ricerca

  • Modelling, Simulation and Verification of Biological Systems. Research group of the University of Pisa.
  • Verification of Floating-Point-Intensive Programs. In collaborazione con BUGSENG.
  • Obfuscation and de-obfuscation using abstract interpretation and coinductive up-to techniques. Research group of the University of Pisa.