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:

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