Skip to main content

Nicola Paoletti

Personal photo - Nicola Paoletti

Nicola Paoletti

Research Assistant

Research Member of Common Room, Wolfson College

Leaving date: 30th August 2016

Completed Projects:

Interests

  • Formal methods
  • Verification and synthesis
  • Hybrid systems
  • Modelling of heart and pacemaker devices
  • Computational biology

See also:

Google Scholar profile

DBLP entry

LinkedIn

Download model from Taffi et al., Bioremediation in marine ecosystems (pdf)

Selected Publications

View AllManage publications