Prof Damien Woods

Computer Science, Hamilton Institute

Eolas Building
3rd
343
(01) 708 6788

Research Projects

  Project Role Funding Body / Program Description Start Date End Date Award (€)
Active DNA: Computationally Active DNA Nanostructures PI EU Horizon 2020 / ERC Consolidator Grant 01-NOV-18 31-OCT-23 1879683

Post Doctoral Fellows/Research Team

  Researcher Name Project Role Funding Body
Trent Rogers Molecular Computing Post Doctorate European Research Council / ERC
Constantine Evans Molecular Computing Post Doctorate European Research Council / ERC
Pierre-Étienne Meunier Molecular computing Post Doctorate European Research Council / ERC

Peer Reviewed Journals

  Year Publication
2019 'Diverse and robust molecular algorithms using reprogrammable DNA self-assembly'
Damien Woods and David Doty and Cameron Myhrvold and Joy Hui and Felix Zhou and Peng Yin and Erik Winfree (2019) 'Diverse and robust molecular algorithms using reprogrammable DNA self-assembly'. Nature, 567 :366-372 [DOI] [Details]
2017 'A cargo-sorting DNA robot'
Thubagere A.;Li W.;Johnson R.;Chen Z.;Doroudi S.;Lee Y.;Izatt G.;Wittman S.;Srinivas N.;Woods D.;Winfree E.;Qian L. (2017) 'A cargo-sorting DNA robot'. Science, 357 (6356) [DOI] [Details]
2012 'Optical Computing: Photonic neural networks'
Woods, D;Naughton, TJ (2012) 'Optical Computing: Photonic neural networks'. Nature Physics, 8 :257-259 [DOI] [Details]
2011 'The computational power of membrane systems under tight uniformity conditions'
Murphy, N;Woods, D (2011) 'The computational power of membrane systems under tight uniformity conditions'. Natural Computing, 10 :613-632 [DOI] [Details]
2009 'Optical computing'
Woods, D;Naughton, TJ (2009) 'Optical computing'. Applied Mathematics and Computation, 215 :1417-1430 [DOI] [Details]
2008 'Implementations of a model of physical sorting'
Murphy, N.; Naughton, T. J.; Woods, D.; Henley, B.; McDermott, K.; Duffy, E.; van der Burgt, P. J. M. ; Woods, N. (2008) 'Implementations of a model of physical sorting'. International Journal of Unconventional Computing, 4 :3-12 [IR Link] [Details]
2006 'Small fast universal Turing machines'
Neary, T;Woods, D (2006) 'Small fast universal Turing machines'. Theoretical Computer Science, 362 :171-195 [DOI] [Details]
2005 'An optical model of computation'
Woods, D;Naughton, TJ (2005) 'An optical model of computation'. Theoretical Computer Science, 334 :227-258 [DOI] [IR Link] [Details]

Conference Publications

  Year Publication
2017 The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation
Pierre-Étienne Meunier, Damien Woods (2017) The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation STOC , pp.328-341 [IR Link] [Details]
2017 Thermodynamic binding networks
Doty, David and Rogers, Trent A and Soloveichik, David and Thachuk, Chris and Woods, Damien (2017) Thermodynamic binding networks The 23rd International Conference on DNA Computing and Molecular Programming , pp.249-266 [Details]
2011 The computational power of membrane systems under tight uniformity conditions
Murphy N.;Woods D. (2011) The computational power of membrane systems under tight uniformity conditions Natural Computing , pp.613-632 [DOI] [Details]
2009 Membrane Dissolution and Division in P
Woods, D;Murphy, N;Perez-Jimenez, MJ;Riscos-Nunez, A (2009) Membrane Dissolution and Division in P UNCONVENTIONAL COMPUTATION, PROCEEDINGS [Details]
2008 Parallel and Sequential Optical Computing
Woods, D;Naughton, TJ (2008) Parallel and Sequential Optical Computing OPTICAL SUPERCOMPUTING, PROCEEDINGS [Details]
2008 A characterisation of NL using membrane systems without charges and dissolution
Murphy, N;Woods, D (2008) A characterisation of NL using membrane systems without charges and dissolution UNCONVENTIONAL COMPUTATION, PROCEEDINGS , pp.164-176 [Details]
2007 Active membrane systems without charges and using only symmetric elementary division characterise P
Murphy, N;Woods, D (2007) Active membrane systems without charges and using only symmetric elementary division characterise P MEMBRANE COMPUTING , pp.367-384 [Details]
2007 The complexity of small universal turing machines
Woods D.;Neary T. (2007) The complexity of small universal turing machines Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , pp.791-798 [DOI] [Details]
2007 Four small universal turing machines
Neary, T;Woods, D (2007) Four small universal turing machines MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS , pp.242-254 [Details]
2007 Small semi-weakly universal turing machines
Woods, D;Neary, T (2007) Small semi-weakly universal turing machines MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS [Details]
2006 On the time complexity of 2-tag systems and small universal Turing machines
Woods D.;Neary T. (2006) On the time complexity of 2-tag systems and small universal Turing machines Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS , pp.439-446 [DOI] [Details]
2006 P-completeness of cellular automaton rule 110
Neary, T;Woods, D (2006) P-completeness of cellular automaton rule 110 AUTOMATA, LANGUAGES AND PROGRAMMING, PT 1 , pp.132-143 [Details]
2005 Complexity of continuous space machine operations
Woods D.;Gibson J. (2005) Complexity of continuous space machine operations Lecture Notes in Computer Science , pp.540-551 [Details]
2005 Lower bounds on the computational power of an optical model of computation
Woods, D;Gibson, JP (2005) Lower bounds on the computational power of an optical model of computation UNCONVENTIONAL COMPUTATION, PROCEEDINGS , pp.237-250 [Details]
2001 On the computational power of a continuous-space optical model of computation
Naughton T.;Woods D. (2001) On the computational power of a continuous-space optical model of computation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , pp.288-299 [IR Link] [Details]

Edited Books

  Year Publication
2016 DNA Computing and Molecular Programming: 22nd International Conference
(2016) DNA Computing and Molecular Programming: 22nd International Conference Springer. [Details]
2008 Proceedings of the International Workshop on The Complexity of Simple Programs
(2008) Proceedings of the International Workshop on The Complexity of Simple Programs Electronic Proceedings in Theoretical Computer Science (EPTCS). [Details]
2006 Proceedings of the 4th International Conference on Information, and Proceedings of the 4th Irish Conference on Mathematical Foundations of Computer Science and Information Technology
(2006) Proceedings of the 4th International Conference on Information, and Proceedings of the 4th Irish Conference on Mathematical Foundations of Computer Science and Information Technology University College Cork Press note=Cork, Ireland. [Details]

Book Chapters

  Year Publication
2015 'Optical Computing'
T.J. Naughton and D. Woods (2015) 'Optical Computing' In: Robert A. Meyers (eds). Encyclopedia of Complexity and Systems Science. Berlin: Springer Berlin Heidelberg. [DOI] [Details]