For more information about my research and teaching experience, please see my CV.
Papers and preprints
Algorithmic information bounds for distances and orthogonal projections
with Peter Cholak, Marianna Csornyei, Neil Lutz, Patrick Lutz and Elvira Mayordomo
Submitted
Improved bounds for radial projections in the plane
with Marianna Csornyei
Submitted
Universal sets for projections
with Jacob B. Fiedler
Indiana University Mathematics Journal
Bounding the dimension of exceptional sets for orthogonal projections
with Peter Cholak, Marianna Csornyei, Neil Lutz, Patrick Lutz and Elvira Mayordomo
Proceedings of the American Mathematical Society
Pinned distances of planar sets with low dimension
with Jacob B. Fiedler
Submitted
Dimensions of pinned distance sets for semi-regular sets
with Jacob B. Fiedler
Submitted
Pinned distance sets using effective dimension
Israel Journal of Mathematics
The dimension spectrum conjecture for planar lines
Journal of the London Mathematical Society 111 (6)
(International Colloquium on Automata, Languages, and Programming (ICALP), 2022)
Optimal oracles for point-to-set principles
Journal of Mathematical Logic
(Symposium on Theoretical Aspects of Computer Science (STACS), 2022)
Asymptotic divergences and strong dichotomy
with Xiang Huang, Jack H. Lutz and Elvira Mayordomo
IEEE Transactions on Information Theory 67 (2021), pp. 6296-6305
(Symposium on Theoretical Aspects of Computer Science (STACS), 2020)
Computability on quasi-Polish spaces
with Mathieu Hoyrup, Cristobal Rojas and Victor Selivanov
International Conference on Descriptional Complexity of Formal Systems (DCFS), 2019
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
Fundamenta Mathematicae 244(3), pp. 255-285, 2019.
Projection theorems using effective dimension
with Neil Lutz
Information & Computation 297, 2024
(International Symposium on Mathematical Foundations of Computer Science (MFCS), 2018)
The isometry degree of a computable copy of lp
with Timothy H. McNicholl
Proceedings of the 14th Annual Conference on Computability in Europe (CiE 2018)
Computability 8(2), pp. 179-189, 2019.
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
Information & Computation 275, 2020.
(Proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017))
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).