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

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.