We carry out fundamental research on molecular computers. A molecular computer is a collection of carefully engineered molecules in a test tube that interact and bump into each other to solve some mathematically-specified computational problem.
We focus on both the underlying comptational theory and practical implementation in the lab. Theoretical work involves mathematically analysing models of computation, characterising their computational power and inventing new models. We then build these molecular computers using DNA in the wet-lab. See our list of publications for more.
We are based at the Hamilton Institute, Maynooth (Ireland). TAPDANCE is an approximate acronym for Theory and Practice of DNA Computing Engines.
- 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
subscribe via RSS