My research is focused on the interaction between analysis and theoretical computer science. For more detail you can read my Research Statement or CV.

**Papers and preprints**

Computability on quasi-Polish spaces

with Mathieu Hoyrup, Cristobal Rojas and Victor Selivanov

*International Conference on Descriptional Complexity of Formal Systems (DCFS), 2019*

Asymptotic divergences and strong dichotomy

with Xiang Huang, Jack H. Lutz and Elvira Mayordomo

Submitted

Semicomputable points in Euclidean spaces

with Mathieu Hoyrup

*International Symposium on Mathematical Foundations of Computer Science (MFCS), 2019*

Results on the dimension spectra of planar lines

*International Symposium on Mathematical Foundations of Computer Science (MFCS), 2018*

Analytic computable structure theory and Lp spaces

with Joe Clanin, Timothy H. McNicholl

To appear in *Fundamenta Mathematicae*

Projection theorems using effective dimension

with Neil Lutz

*International Symposium on Mathematical Foundations of Computer Science (MFCS), 2018*

The isometry degree of a computable copy of lp

with Timothy H. McNicholl

Conference version: *Proceedings of the 14th Annual Conference on Computability in Europe (CiE 2018)*

Journal version: To appear in *Computability*

Semicomputable geometry

with Mathieu Hoyrup and Diego Nava Saucedo

*Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018).*

Dimension spectra of lines

with Neil Lutz

*Proceedings of the 13th Annual Conference on Computability in Europe (CiE 2017)*

Bounding the dimension of points on a line

with Neil Lutz

Conference version: *Proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017)*

Journal version: To appear in *Information & Computation*

Polynomial space randomness in analysis

with Xiang Huang

*Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)*

Reachability problems for continuous chemical reaction networks

with Adam Case and Jack H. Lutz

Conference version: *Proceedings of the Fifteenth International Conference on Unconventional Computation and Natural Computation (UCNC 2016)*

Journal version: *Natural Computing* 17 (2018), pp. 223-230

Requirements analysis for a product family of DNA nanodevices

with Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Taylor G. Bergquist and Eric R. Henderson

*Proceedings of the Twentieth IEEE International Requirements Engineering Conference (RE 2012).*