TAPDANCE: Theory And Practice of DNA Computing Engines
We carry out fundamental research on molecular computers: collections of carefully engineered molecules in a test tube that interact and bump into each other to solve some mathematically-specified computational problem. Our focus is on both the underlying computational theory and practical implementation in the lab. See our list of publications for more. We are based at the Hamilton Institute, Maynooth (Ireland), and our work is funded by the ERC and SFI.
- Waiting for Gödel — Tristan talks about Turing machines, Godel encodings, undecidability and incompleteness
- Ulysse Léchine joins our group!
- Positions availiable — Postdoc, Senior Postdoc and Technical officer
- Video and slides for keynote talk at DNA26
- Turning machines! New paper on reconfigurable robotics
- Cai Wood joins our group!
- The Collatz problem embeds a base conversion algorithm — new paper
- The Collatz problem and regular expressions — new Paper by Tristan
- STOC 2020 video presentation by Pierre on pumpablity in self-assembly
- SFI award for medium-term Covid-19 forecasting
- Constantine's video presentation for FNANO 2020
- Covid-19 dashboard
- Paper proving pumpability in noncooperative self-assembly!
- New postdoc Constantine Evans
- Slides on DNA-based algorithmic self-assembly of 6-bit iterated Boolean circuits
- Sabbatical visitor Prof Matthew Patitz
- Codenano, a tool for designing DNA nanostructures
- New postdoc Trent Rogers
- New summer students Eilbhe, Dara, Cai
- New interns Nicolas Levy and Coline Petit-Jean
- Assembling large structures without cooperation, published at DNA25
- Paper on reprogrammable DNA self-assembly, published in Nature
- New Postdoc & PhD positions
Funding from SFI
New SFI award to fund our work
Funding from ERC
New ERC Consolidator award to fund our work
- Move to Hamilton Institute at Maynooth University
- Self-assembly workshop at UCNC & MCU
- Tristan wins best poster award at DNA23!
Molecular cargo sorting robots, accepted to Science
A molecular robot that sorts tiny cargos into separate piles
Pierre-Étienne talks at STOC
Pierre talks about tile self-assembly at STOC 2017; no bounded Turing machine simulation and no intrinsic universality at temperature 1.
Papers accepted to DNA23
Two papers accepted to DNA23; experiments on algorithmic self-assembly with DNA tiles, and theory of a new thermodynamic model of computation!
- Recent talks by Damien
- Recent talks by Pierre-Étienne
Non-cooperative self-assembly is provably weak
TAPDANCE's first publication, accepted to STOC 2017
- Teaching at ENS Lyon