**Selected Recent Research Contributions**
* (with Xiang Huang and Andrei Migunov) Development of the theory of algorithmic randomness for *individual* trajectories of stochastic chemical reaction networks and, more generally, continuous-time Markov chains. Submitted. [arXiv](https://arxiv.org/abs/1910.13620)
* (with Xiang Huang, Elvira Mayordomo, and Don Stull) Use of asymptotic Kullback-Leibler divergences to *quantify* the exponential rates of winning and losing on the two sides of the 1972 Schnorr-Stimm dichotomy theorem for finite-state gamblers betting on normal and non-normal sequences. Submitted. [arXiv](https://arxiv.org/abs/1910.13615)
* (with Titus Klinge and Jim Lathrop) A uniform method for translating arbitrary nondeterministic finite automata into deterministic mass-action I/O chemical reaction networks that simulate them in real time with a number of chemical species that is linear in the size of the DFA. Proof that this simulation is correct and robust to perturbations of both the environment and internal parameters of the I/O chemical reaction networks. Submitted. [arXiv](https://arxiv.org/abs/1505.03931)
* (with Elvira Mayordomo) The first algorithm to compute absolutely normal numbers in nearly linear time. Submitted. [arXiv](https://arxiv.org/abs/1611.05911)
* (with Neil Lutz, Robyn Lutz, and Matthew Riley) Use of games against nature in stochastic chemical reaction networks to quantify robustness. ICSE 2019, to appear. [arXiv](https://arxiv.org/abs/1902.06171)
* (with Sam Ellis, Titus Klinge, Jim Lathrop, Robyn Lutz, and Andy Miner) Design and verification of a runtime fault detector for programmed molecular nanosystems. *ACM Transactions on Software Engineering and Methodology*, 2019. [arXiv](https://arxiv.org/abs/1710.09494)
* (with Xiang Huang, Titus H. Klinge, James I. Lathrop, and Xiaoyuan Li) Proof that all algebraic numbers and some transcendental numbers are real-time computable by deterministic chemical reaction networks. *Natural Computing*, 2019. [arXiv](https://arxiv.org/abs/1803.10267)
* (with Neil Lutz) Development of conditional algorithmic fractal dimensions. *ACM Transactions on Computation Theory*, 2018. [arXiv](https://arxiv.org/abs/1511.00442)
* (with Neil Lutz) Use of the point-to-set principle to give a new, information-theoretic proof that every plane Kakeya set (set containing a unit segment in every direction) has Hausdorff dimension 2, a theorem first proved by Davies in 1971. *ACM Transactions on Computation Theory*, 2018. [arXiv](https://arxiv.org/abs/1511.00442)
* (with Neil Lutz) A *point-to-set principle* that enables one to use the (relativized algorithmic) dimension of a *single point* in an arbitrary set *E* in Euclidean space to establish a lower bound on the (classical) Hausdorff dimension of *E*. *ACM Transactions on Computation Theory*, 2018. [arXiv](https://arxiv.org/abs/1511.00442)
* (with Adam Case and Don Stull) Proof that reachability in the rate-independent continuous chemical reaction network model of Chen, Doty, and Soloveichik (2014) is computable in polynomial time. *Natural Computing*, 2018. [arXiv](https://arxiv.org/abs/1508.04125)
* (with Adam Case) Quantitative analysis of the mutual algorithmic dimensions between correlated random sequences. *Theoretical Computer Science*, 2018. [arXiv](https://arxiv.org/abs/1603.09390)
* (with Neil Lutz) Proof that, in every direction in Euclidean space, there is a line missing every random point. *Computability*, 2015. [arXiv](https://arxiv.org/abs/1401.3063)
* (with Adam Case) Proof of the *data processing inequalities*, which state that applying a computable Lipschitz function to a point *x* in a Euclidean space cannot increase its mutual dimension with a point *y* in a Euclidean space. *ACM Transactions on Computation Theory*, 2015. [arXiv](https://arxiv.org/abs/1410.4135)
* (with Adam Case) Development of the lower and upper *mutual (algorithmic) dimensions* between points in Euclidean spaces. *ACM Transactions on Computation Theory*, 2015. [arXiv](https://arxiv.org/abs/1410.4135)
* (with Randy Dougherty, Dan Mauldin, and Jason Teutsch) Determination of the dimension spectra of translations of the Cantor middle thirds set by reals that are algorithmically random. *Transactions of the American Mathematical Society*, 2014. [arXiv](https://arxiv.org/abs/1205.4821)
* (with Xiaoyang Gu, Elvira Mayordomo, and Philippe Moser) Determination of the dimension spectra of algorithmically random subfractals of self-similar fractals. *Annals of Pure and Applied Logic*, 2014. [pdf](http://web.cs.iastate.edu/~lutz/=PAPERS/dsrsssf.pdf)
* Use of the probabilistic method to give a *very* easy proof of a previously difficult theorem of Meyer (1969) and Chaitin (1976) on the paucity of strings with very low Kolmogorov complexity. *Information Processing Letters*, 2014. [arXiv](https://arxiv.org/abs/1310.6383)
* (with Dave Doty, Matt Patitz, Robbie Schweller, Scott Summers, and Damien Woods) Proof that Winfree's abstract Tile Assembly Model of nanoscale self-assembly is *intrinsically universal*, meaning that there is a single tile assembly system *U* that can be initialized to *carry out* the self-assembly process of any tile assembly system *T*. FOCS 2012. [arXiv](https://arxiv.org/abs/1111.3097)
* (with Brad Shutters) Tight bounds on the approximate self-assembly of discrete Sierpinski triangles. *Theory of Computing Systems*, 2012. [arXiv](https://arxiv.org/abs/1001.2888)
* (with Lance Fortnow and Elvira Mayordomo) Proof that, if NP does not have measure zero in EXP, then there exist disjoint pairs of NP languages that cannot be separated in subexponential time. *Theory of Computing Systems*, 2012. [arXiv](https://arxiv.org/abs/0902.2674)