Abstract: Self-assembly is the process by which small objects aggregate and assemble into large, complicated structures autonomously. DNA is an important material to use in artificial self-assembly of nano-scale systems due to its ``programmable'' nature -- binding specificity can be achieved by assigning corresponding DNA sequences without changing the geometric structure of the DNA molecules. There are many theoretical designs but experimental studies have observed high error rates.
In this talk, I will present several error-correcting schemes for DNA self-assembly and propose a unified framework to prove the correctness of such systems.