Research

In general, I am interested in the theory of computation but I am specifically interested in studying algorithmic self-assembly.

Here is a great article on the theory of algorithmic self-assembly.

Publications

  • The two-handed tile assembly model is not intrinsically universal
    (with Erik D. Demaine, Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller and Damien Woods), Proceedings of the Fortieth International Colloquium on Automata, Languages and Programming (ICALP 2013), (Riga, Latvia, July 8-12, 2013), to appear.

  • Asynchronous Signal Passing for Tile Self-Assembly: Fuel Efficient Computation and Efficient Assembly of Shapes
    (with Jennifer E. Padilla, Matthew J. Patitz, Raul Pena, Robert T. Schweller, Nadrian C. Seeman, Robert Sheline and Xingsi Zhong), Proceedings of the 2013 International Conference on Unconventional Computation and Natural Computation (UCNC 2013), (Milano, Italy, July 15, 2013), pp. 174--185.

  • Two Hands Are Better Than One (up to constant factors): Self-Assembly In The 2HAM vs. aTAM
    (with Sarah Cannon, Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Matthew J. Patitz, Robert T. Schweller and Andrew Winslow), Proceedings of the Thirtieth International Symposium on Theoretical Aspects of Computer Science (STACS 2013), (Kiel, Germany, February 27-March 2, 2013), pp. 172--184.

  • Identifying Shapes Using Self-Assembly
    (with Matthew J. Patitz), Algorithmica 64(3):481--510, 2012. Special issue of invited papers from the Twenty First International Symposium on Algorithms and Computation.

    An earlier version of this paper appeared in Proceedings of the Twenty First International Symposium on Algorithms and Computation (ISAAC 2010), (Jeju Island, Korea, December 15-17 2010), Lecture Notes in Computer Science, volume 6507, pp. 458--469.

  • The Tile Assembly Model is Intrinsically Universal
    (with David Doty, Jack H. Lutz, Matthew J. Patitz, Robert T. Schweller and Damien Woods), Proceedings of the Fifty Third Annual IEEE Symposium on Foundations of Computer Science (FOCS 2012), (New Brunswick, New Jersey, October 20-23, 2012), to appear.

  • Reducing Tile Complexity for the Self-Assembly of Scaled Shapes Through Temperature Programming
    Algorithmica 63(1):117--136, 2012.

  • Exact Shapes and Turing Universality at Temperature 1 with a Single Negative Glue
    (with Matthew J. Patitz and Robert T. Schweller), Proceedings of the Seventeenth International Conference on DNA Computing and Molecular Programming (DNA 17), (California Institute of Technology, Pasadena, California, September 19-23, 2011), Lecture Notes in Computer Science, volume 6937, Springer-Verlag, 2011, pp. 175--189.

  • Self-Assembly of Arbitrary Shapes Using RNAse Enzymes: Meeting the Kolmogorov Bound with Small Scale Factor,
    (with Erik D. Demaine, Matthew J. Patitz and Robert T. Schweller), Proceedings of the Twenty Eighth International Symposium on Theoretical Aspects of Computer Science (STACS 2011), (Dortmund, Germany, March 10-12, 2011), volume 9 of Leibniz International Proceedings in Informatics (LIPIcs), pp 201--212.

  • Strong Fault-Tolerance for Self-Assembly with Fuzzy Temperature
    (with David Doty, Mattiew J. Patitz, Dustin Reishus and Robert T. Schweller), Proceedings of the Fifty First Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010), (Las Vegas, Nevada, October 23-26, 2010), pp. 417--426.

  • Intrinsic Universality in Self-Assembly
    (with David Doty, Jack H. Lutz, Matthew J. Patitz and Damien Woods), Proceedings of the Twenty Seventh International Symposium on Theoretical Aspects of Computer Science (STACS 2010), (Nancy, France, March 4-6, 2010), volume 5 of Liebniz International Proceedings in Informatics (LIPIcs), pp. 275--286.

  • Random Number Selection in Self-Assembly
    (with David Doty, Jack H. Lutz, Matthew J. Patitz and Damien Woods), Proceedings of the Eighth International Conference on Unconventional Computation (UC 2009), (Ponta Delgada, Portugal, September 7-11, 2009), Lecture Notes in Computer Science, volume 5715, Springer-Verlag, 2009, pp. 143--157.

  • Limitations of Self-Assembly at Temperature 1
    (with David Doty and Matthew J. Patitz), Theoretical Computer Science 412(1-2):145--158, 2011. Special issue of invited papers from Complexity of Simple Programs workshop (CSP 2008), Cork, Ireland, 2008.

    An earlier version of this paper appeared in Proceedings of The Fifteenth International Meeting on DNA Computing and Molecular Programming (DNA 15), (Fayetteville, Arkansas, USA, June 8-11, 2009), Lecture Notes in Computer Science, volume 5877, Springer-Verlag, 2009, pp. 35--44.

  • Self-Assembly of Decidable Sets
    (with Matthew J. Patitz), Natural Computing, 10(2):853--877, 2011. Special issue of invited papers from the Seventh International Conference on Unconventional Computation.

    An earlier version appeared in Proceedings of the Seventh International Conference on Unconventional Computation (UC 2008), (Vienna, Austria, August 25-28, 2008), Lecture Notes in Computer Science, volume 5204, Springer-Verlag, 2008, pp. 206--219.

  • Self-Assembly of Discrete Self-Similar Fractals
    (with Matthew J. Patitz), Natural Computing, 9(1):135--172, 2010. Special issue of invited papers from DNA 14.

    An earlier version appeared in Proceedings of The Fourteenth International Meeting on DNA Computing (DNA 14), (Prague, Czech Republic, June 2-6, 2008), Lecture Notes in Computer Science, volume 5347, Springer-Verlag, 2009, pp. 156--167.

  • Computability and Complexity in Self-Assembly
    (with James I. Lathrop, Jack H. Lutz and Matthew J. Patitz), Theory of Computing Systems, 48:617--647, 2011. Special issue of invited papers from Computability in Europe 2008.

    An earlier version appeared in Proceedings of the Fourth Conference on Computability in Europe (CiE 2008), (Athens, Greece, June 15-20, 2008), Lecture Notes in Computer Science, volume 5028, Springer-Verlag, 2008, pp. 349--358.

  • Strict Self-Assembly of Discrete Sierpinski Triangles
    (with James I. Lathrop and Jack H. Lutz), Theoretical Computer Science, 410:384--405, 2009. Special issue of invited papers from Computability in Europe 2007.

    An earlier version appeared in Proceedings of the Third Conference of Computability in Europe (CiE 2007), (Siena, Italy, June 18-23, 2007), Lecture Notes in Computer Science, volume 4497, Springer-Verlag, 2007, pp. 455--464.

Invited Talks

Service

Journal reviewer: Algorithmica, SIAM Journal on Computing, Theoretical Computer Science.

Conference reviewer: DNA19: Nineteenth International Conference on DNA Computer and Molecular Programming, SODA 2013: ACM-SIAM Symposium on Discrete Algorithms, ITCS 2013: Innovations in Theoretical Computer Science

Collaborators (in alphabetical order)

Sarah Cannon, Erik D. Demaine, Martin L. Demaine, David Doty, Sarah Eisenstat, James I. Lathrop, Jack H. Lutz, Jennifer Padilla, Matthew J. Patitz, Raul Pena, Dustin Reishus, Trent A. Rogers, Robert T. Schweller, Nadrian C. Seeman, Robert Sheline, Andrew Winslow, Damien Woods, Xingsi Zhong (Winston Zhong)