World-class research based on a distinctive, interdisciplinary approach to the natural sciences, social sciences, engineering and technology, and the arts and humanities.
The MU International Office is the first point of contact for international students applying for full-degree, Erasmus, Study Abroad, and Summer School programmes, and supports MU students who wish to study abroad.
Active DNA: Computationally Active DNA Nanostructures - ERC Consolidator Grant
PI
During the 20th century computer technology evolved from bulky, slow, special purpose mechanical engines to the now ubiquitous silicon chips and software that are one of the pinnacles of human ingenuity. The goal of the field of molecular programming is to take the next leap and build a new generation of matter-based computers using DNA, RNA and proteins. This will be accomplished by computer scientists, physicists and chemists designing molecules to execute ``wet'' nanoscale programs in test tubes. The workflow includes proposing theoretical models, mathematically proving their computational properties, physical modelling and implementation in the wet-lab.
The past decade has seen remarkable progress at building static 2D and 3D DNA nanostructures. However, unlike biological macromolecules and complexes that are built via specified self-assembly pathways, that execute robotic-like movements, and that undergo evolution, the activity of human-engineered nanostructures is severely limited. We will need sophisticated algorithmic ideas to build structures that rival active living systems. Active-DNA, aims to address this challenge by achieving a number of objectives on computation, DNA-based self-assembly and molecular robotics. Active-DNA research work will range from defining models and proving theorems that characterise the computational and expressive capabilities of such active programmable materials to experimental work implementing active DNA nanostructures in the wet-lab.
01/11/2018
31/10/2024
2349603
Active DNA tiles for programmable nucleation of robust DNA nanostructures
PI
01/12/2021
30/11/2025
604266
SFI ERC support award
PI
31/10/2018
31/10/2023
656500
DISCO: DNA Infrastructure for Storage and COmputation - EIC Pathfinder Challenge grant
PI
Throughout evolution, Biology has found an almost-perfect molecule to pass information down through the millennia. Whether for a simple bacterium or the largest whale, DNA achieves high information density while permitting cellular machinery rapid random-access retrieval to decode everything from a single protein to the development of an entire human brain. Humanity's rapidly-growing data storage and computing needs make it is tempting to exploit optimised biological molecules and processes, but biology is messy, poorly-understood and much more specialised for life than it is for our needs -- we propose to use DNA for storage together with a rationally designed, well-characterised and robust molecular computing architecture. The DISCO project will address the challenge of engineering a programmable and robust DNA storage and computing platform. DISCO combines powerful molecular-algorithmic ideas from DNA computing with notions of thermodynamic stability from DNA nanostructures, to provide an expressive and robust system design. The project proposes the use of
long DNA scaffold strands, upon which hundreds of smaller strands bind to store data, which can be later read, erased, rewritten and computed upon. DISCO begins with the aim of trialling a small, but thoroughly characterised and modelled prototype, that facilitates storage and computation on 10 bits. Then, DISCO will scale-up the system to hundreds of bits by leveraging recent technological advances to enable high-throughput techniques at both the experimental and data-readout stages. Finally, DISCO will be extended to two-dimensional DNA origami structures, each carrying about
a hundred bits, but with millions of structures in the same test tube, exhibiting DNA storage and computation in a distributed system at a massively parallel scale.
01/10/2023
30/09/2028
3993665
Post Doctoral Fellows / Research Team
Researcher Name
Project
Funding Body
Constantine Evans
Molecular Computing
Trent Rogers
Molecular Computing
Abeer Eshra
Active-DNA
Tristan Lancelot Dylan Cosmo Sterin
Active-DNA
Cai Alan Wood
Active-DNA
Ahmed Shalaby
SFI FFP: Active DNA tiles for programmable nucleation of robust DNA nanostructures
Peer Reviewed Journal
Year
Publication
2022
Irnia Kostitsyna, Cai Wood, Damien Woods (2022) 'Turning machines: a simple algorithmic model for molecular robotics'. Natural Computing, . [Link][DOI]
2019
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][Full-Text]
Demaine, Erik D and Patitz, Matthew J and Rogers, Trent A and Schweller, Robert T and Summers, Scott M and Woods, Damien (2016) 'The two-handed tile assembly model is not intrinsically universal'. 74 (2):812-850. [Full-Text]
2015
Woods, Damien (2015) 'Intrinsic universality and the computational power of self-assembly'. 373 (2046). [Full-Text]
2015
Chen, Moya and Xin, Doris and Woods, Damien (2015) 'Parallel Computation Using Active Self-assembly'. Natural Computing, 14 (2):225-250. [Full-Text]
2015
Woods, Damien and Neary, Turlough (2015) 'Yurii Rogozhin's Contributions to the Field of Small Universal Turing Machines'. 138 (1-2):251-258. [Full-Text]
2014
Murphy, Niall and Woods, Damien (2014) 'Uniformity is weaker than semi-uniformity for some membrane systems'. 134 (1-2):129-152. [Full-Text]
2014
Neary, Turlough and Woods, Damien and Murphy, Niall and Glaschick, Rainer (2014) 'Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy'. 30 (5):634-646. [Full-Text]
Murphy, N; Woods, D (2011) 'The computational power of membrane systems under tight uniformity conditions'. Natural Computing, 10 :613-632. [DOI][Full-Text]
Neary, Turlough and Woods, Damien (2009) 'Four small universal Turing machines'. 91 (1):123-144. [Full-Text]
2008
Woods, Damien and Gibson, J Paul (2008) 'Lower bounds on the computational power of an optical model of computation'. 7 (1):95-108. [Full-Text]
2008
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. [Full-Text]
2006
Neary, T; Woods, D (2006) 'Small fast universal Turing machines'. Theoretical Computer Science, 362 :171-195. [DOI][Full-Text]
2005
Woods, D; Naughton, TJ (2005) 'An optical model of computation'. Theoretical Computer Science, 334 :227-258. [DOI][Full-Text]
Conference Publication
Year
Publication
2023
Shalaby, A.; Thachuk, C.; Woods, D. (2023) Leibniz International Proceedings in Informatics, LIPIcs Minimum Free Energy, Partition Function and Kinetics Simulation Algorithms for a Multistranded Scaffolded DNA Computer[Link][DOI]
2021
Matthew Cook, Tristan Stérin, Damien Woods (2021) 27th International Conference on DNA Computing and Molecular Programming (DNA 27) . In: Matthew Lakin and Petr Sulc eds. Small tile sets that compute while solving mazes Oxford, UK, [Link][Full-Text]
2020
Pierre-Étienne Meunier, Damien Regnault, Damien Woods (2020) STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing The program-size complexity of self-assembled paths Seattle, 22/06/2020- 26/06/2020 [Link] https://doi.org/10.1145/3357713.3384263 [Full-Text]
2020
Irina Kostitsyna, Cai Wood, Damien Woods (2020) 26th International Conference on DNA Computing and Molecular Programming (DNA 26) . In: Cody Geary and Matthew J. Patitz eds. Turning Machines Oxford, UK, [Link]
2020
Tristan Stérin and Damien Woods (2020) The 14th International Conference on Reachability Problems . In: Igor Potapov and Sylvain Schmitz eds. The Collatz process embeds a base conversion algorithm[Full-Text]
2017
Pierre-Étienne Meunier, Damien Woods (2017) STOC: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation[Link][Full-Text]
2017
Doty, David and Rogers, Trent A and Soloveichik, David and Thachuk, Chris and Woods, Damien (2017) The 23rd International Conference on DNA Computing and Molecular Programming Thermodynamic binding networks[Full-Text]
2014
Meunier, Pierre-Etienne and Patitz, Matthew J and Summers, Scott M and Theyssier, Guillaume and Winslow, Andrew and Woods, Damien (2014) SODA: Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms Intrinsic universality in tile self-assembly requires cooperation[Full-Text]
2014
Demaine, Erik D and Demaine, Martin L and Fekete, S\'andor P and Patitz, Matthew J and Schweller, Robert T and Winslow, Andrew and Woods, Damien (2014) ICALP: International Colloquium on Automata, Languages, and Programming One tile to rule them all: Simulating any tile assembly system with a single universal tile[Full-Text]
2014
Chen, Ho-Lin and Doty, David and Holden, Dhiraj and Thachuk, Chris and Woods, Damien and Yang, Chun-Tao (2014) DNA20: The 20th International Conference on DNA Computing and Molecular Programming Fast algorithmic self-assembly of simple shapes using random agitation[Full-Text]
2013
Demaine, Erik D and Patitz, Matthew J and Rogers, Trent A and Schweller, Robert T and Summers, Scott M and Woods, Damien (2013) ICALP: International Colloquium on Automata, Languages, and Programming The Two-Handed Tile Assembly Model Is Not Intrinsically Universal[Full-Text]
2013
Chen, Moya and Xin, Doris and Woods, Damien (2013) DNA19: The 19th International Conference on DNA Computing and Molecular Programming Parallel Computation Using Active Self-assembly⋆[Full-Text]
2013
Woods, Damien and Chen, Ho-Lin and Goodfriend, Scott and Dabby, Nadine and Winfree, Erik and Yin, Peng (2013) ITCS: Proceedings of the 4th conference on Innovations in Theoretical Computer Science Active self-assembly of algorithmic shapes and patterns in polylogarithmic time[Full-Text]
2013
N. Murphy, D. Woods. (2013) MCU: Machines, Computations and Universality AND and/or OR: Uniform Polynomial-Size Circuits Zürich, Switzerland. Electronic Proceedings in Theoretical Computer Science, vol 128, [Full-Text]
2012
Doty, David and Lutz, Jack H and Patitz, Matthew J and Schweller, Robert T and Summers, Scott M and Woods, Damien (2012) FOCS: 53rd Annual Symposium on Foundations of Computer Sciences The tile assembly model is intrinsically universal[Full-Text]
2012
R. Glaschick, T. Neary, D. Woods, N. Murphy: (2012) Turing in Context II Hasenjaeger's electromechanical small universal Turing machine is time efficient[Full-Text]
2012
T. Neary, D. Woods (2012) SOFSEM 38th International Conference on Current Trends in Theory and Practice of Computer Science . In: Springer LNCS 7147 eds. The complexity of small universal Turing machines: A survey Špindlerův Mlýn, Czech Republic, [Full-Text]
2010
Doty, David and Lutz, Jack H and Patitz, Matthew J and Summers, Scott M and Woods, Damien (2010) STACS: The 27th International Symposium on Theoretical Aspects of Computer Science Intrinsic universality in self-assembly
2010
Murphy N., Woods D (2010) DNA16: The 16th International Conference on DNA Computing and Molecular Programming, preproceedings Uniformity conditions in natural computing Best student paper award,
2009
Doty, David and Lutz, Jack H and Patitz, Matthew J and Summers, Scott M and Woods, Damien (2009) International Conference on Unconventional Computation Random number selection in self-assembly[Full-Text]
2009
Neary, Turlough and Woods, Damien (2009) FCT: Proceedings of the 17th international conference on Fundamentals of computation theory Small weakly universal Turing machines[Full-Text]
2009
Woods, Damien and Murphy, Niall and Pérez-Jiménez, Mario J and Riscos-Núñez, Agustín (2009) International Conference on Unconventional Computation Membrane dissolution and division in P[Full-Text]
2009
Murphy, Niall and Woods, Damien (2009) Membrane computing 10th international workshop; revised selected and invited papers Uniformity: uncovering the frontier of parallelism[Full-Text]
2008
Woods, Damien and Naughton, Thomas J (2008) International Workshop on Optical Supercomputing Parallel and sequential optical computing[Full-Text]
2008
Murphy, Niall; Woods, Damien (2008) International Conference on Unconventional Computation A characterisation of NL using membrane systems without charges and dissolution[Full-Text]
2008
D. Woods, T. J. Naughton. (2008) Proceedings of the first Workshop on Physics and Computation Optical computing Vienna, [Full-Text]
2007
Murphy, Niall and Woods, Damien (2007) International Workshop on Membrane Computing Active membrane systems without charges and using only symmetric elementary division characterise P[Full-Text]
2007
Woods D.; Neary T. (2007) CiE: Computability in Europe The complexity of small universal Turing machines[DOI][Full-Text]
2007
Woods, Damien; Neary, Turlough (2007) MCU: 5th International Conference on Machines, Computations and Universality Small semi-weakly universal Turing machines[Full-Text]
2007
Neary, Turlough; Woods, Damien (2007) MCU: 5th International Conference on Machines, Computations and Universality Four small universal Turing machines[Full-Text]
2006
Neary, T and Woods, Damien (2006) FOCS: Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science On the time complexity of 2-tag systems and small universal Turing machines[Full-Text]
2006
Neary, Turlough and Woods, Damien (2006) ICALP: International Colloquium on Automata, Languages, and Programming P-completeness of cellular automaton Rule 110[Full-Text]
2006
N. Murphy, T.J. Naughton, D. Woods, B. Henley, K. McDermott, E. Duffy, P.J.M. van~der Burgt, N. Woods (2006) From Utopian to Genuine Unconventional Computers Implementations of a model of physical sorting[Full-Text]
2006
Woods, Damien and Neary, Turlough (2006) MFCSIT: Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology Remarks on the computational complexity of small universal Turing machines[Full-Text]
2006
Woods, Damien (2006) International Conference on Unconventional Computation Optical computing and computational complexity[Full-Text]
2006
N. Murphy, D. Woods, T.J. Naughton (2006) MFCSIT: Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology Bio-computation using Holliday junctions Cork, Ireland, [Full-Text]
2005
Woods, Damien (2005) ISAAC: International Symposium on Algorithms and Computation Upper bounds on the computational power of an optical model of computation[Full-Text]
2005
Woods, Damien; Gibson J Paul (2005) 4th International Conference on Unconventional Computation Lower bounds on the computational power of an optical model of computation Seville, Spain, [Full-Text]
2005
Woods, Damien; Gibson, J Paul (2005) CiE: Computability in Europe 2005: New Computational Paradigms Complexity of continuous space machine operations[Full-Text]
2001
Naughton, Thomas J and Woods, Damien (2001) MCU: International Conference on Machines, Computations, and Universality On the computational power of a continuous-space optical model of computation[Full-Text]
1999
Woods, Damien and Trenaman, Adrian (1999) Artificial Intelligence and Cognitive Science Simultaneous satisfaction of hard and soft timetable constraints for a university department using evolutionary timetabling Cork, Ireland,
Edited Book
Year
Publication
2018
Damien Woods and Yannick Rondelez (Ed.). (2018) Journal of Natural Computing: Special issue on DNA Computing and Molecular Programming. Berlin Heidelberg: Springer,
2016
Damien Woods and Yannick Rondelez (Ed.). (2016) Conference Proceedings: DNA Computing and Molecular Programming, 22nd International Conference. Berlin Heidelberg: Springer, LNCS,
2011
D. Woods, T. Neary, A.K. Seda (Ed.). (2011) Journal of Theoretical Computer Science, Special Issue on the Complexity of Simple Programs. Berlin Heidelberg: Springer,
2008
(2008) Proceedings of the International Workshop on The Complexity of Simple Programs. Electronic Proceedings in Theoretical Computer Science (EPTCS),
2006
(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,
Book Chapter
Year
Publication
2017
Woods, Damien (2017) 'Intrinsic Universality in Self-Assembly' In: Encyclopedia of Algorithms, 2nd Ed. Berlin Heidelberg : Springer.
2017
Woods, Damien (2017) 'Active self-assembly and molecular robotics with nubots' In: Encyclopedia of Algorithms, 2nd Ed. Berlin Heidelberg : Springer.
2015
Turlough Neary., Damien Woods (2015) 'Maurice Margenstern's contributions to the field of small universal Turing machines' In: Automata, Computation, Universality. Berlin Heidelberg : Springer.
2015
T.J. Naughton and D. Woods (2015) 'Optical Computing' In: Encyclopedia of Complexity and Systems Science. Berlin : Springer Berlin Heidelberg. [DOI]
2009
Pérez-Jiménez, Mario J and Riscos-Núñez, Agustín and Romero-Jiménez, A and Woods, Damien (2009) 'Complexity-membrane division, membrane creation' In: Handbook of Membrane Computing. Oxford : Oxford University Press.
Conference Contribution
Year
Publication
2022
Constantine G. Evans, David Doty, Damien Woods (2022) 28th International Conference on DNA Computing and Molecular Programming Growth dynamics: Precisely controlled self-assembly order of DNA tile nanostructures Albuquerque, New Mexico, .
2022
Trent Rogers, Constantine Evans, Damien Woods (2022) 28th International Conference on DNA Computing and Molecular Programming Covered DNA core tiles for robust tuning of spurious nucleation Albuquerque, New Mexico, .
Other Publication
Year
Publication
2019
Woods, D.; Doty, D.; Myhrvold, C.; Hui, J.; Zhou, F.; Yin, P.; Winfree, E. (2019) Author Correction: Diverse and robust molecular algorithms using reprogrammable DNA self-assembly (Nature, (2019), 567, 7748, (366-372), 10.1038/s41586-019-1014-9).[Link][DOI]