Skip to main content

Nicola Paoletti

Personal photo - Nicola Paoletti

Nicola Paoletti

Research Assistant

Research Member of Common Room, Wolfson College

Wolfson Building, Parks Road, Oxford OX1 3QD

Completed Projects:


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

See also:

Google Scholar profile

DBLP entry


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

Selected Publications

View AllManage publications