Frits Dannenberg: Modelling and verification for DNA nanotechnology. University of Oxford, UK 2016