ABOUT ME
Karthik
Ravishankar.
Computability theory & mathematical logic
I’m a fifth-year mathematics PhD student at the University of Wisconsin–Madison, working with Joseph Miller in computability theory.
I’m interested in local and global degree-theoretic questions in the Turing and enumeration degrees. I’m currently working on degree spectra in computable structure theory and join irreducibility in the local structure of the enumeration degrees.
I also work in Lean and am interested in formalizing mathematics.
In my work on Ahmad pairs, I showed that the left half must be low3 and the right half high2.
Outside mathematics
I grew up in Bengaluru and completed a B.Tech. in Computer Science and Mathematics at the Indian Institute of Technology Hyderabad before coming to Madison. Outside mathematics, I enjoy reading, cooking, powerlifting, running, and spending time outdoors with my Bernese Mountain Dog, Baloo.