KARTHIK RAVISHANKAR

Curriculum vitae.

Education

Ph.D. in Mathematics
University of Wisconsin–Madison
September 2022–May 2027 (expected)
Advisor: Joseph S. Miller

M.A. in Mathematics
University of Wisconsin–Madison
September 2020–May 2022

B.Tech. (Honors) in Computer Science and Mathematics
Indian Institute of Technology Hyderabad
August 2016–May 2020
Minor in Economics

Research interests

Logic, computability theory, enumeration degrees, computable structure theory, algorithmic randomness, and formalization in Lean.

Current projects

Service & mentorship

Honors & awards

Languages

English and Telugu (native proficiency); Kannada (proficient); Hindi (intermediate).