Joseph Miller

Joseph Miller is a Professor in the Department of Mathematics at the University of Wisconsin–Madison. He holds a Ph.D. in Mathematics from Cornell University (2002) and a Master's in Computer Science. After a VIGRE Postdoctoral Fellowship at Indiana University and a tenure-track role at the University of Connecticut, he joined UW–Madison in 2008. His research focuses on computability theory, algorithmic randomness, and mathematical logic, with significant contributions to enumeration degrees, effective Hausdorff dimension, and computable analysis.

• Ph.D., Mathematics, Cornell University (2002)
• M.S., Computer Science, Cornell University
• VIGRE Postdoctoral Fellowship, Indiana University
• Tenure-track, University of Connecticut
• Professor, University of Wisconsin–Madison

Miller's work bridges computability, randomness, and topology. He has co-authored over 50 publications, including foundational studies on K-triviality, symmetric difference operators, and the Brouwer fixed point theorem in computable settings. His recent papers explore energy randomness, connections between cototality and enumeration degrees, and computability in geometric contexts.

Key trends in his research include:

• Characterizing computable closed sets in $\mathbb{R}^n$
• Effective versions of classical theorems (e.g., Brouwer, Ramsey)
• Interactions between randomness and differentiability
• Structural properties of Turing degrees and enumeration degrees

Scientific awards and collaborations:

• VIGRE Postdoctoral Fellowship
• Extensive collaborations with logicians like Noam Greenberg, André Nies, and Uri Andrews

He has advised doctoral students and contributed to the field through expository writing and open questions in computability. Miller's work often combines homology theory, measure theory, and recursion to analyze algorithmic complexity in continuous and discrete mathematics.