Michael "Mike" Shulman (/ˈʃuːlmən/; born 1980) is an American associate professor of mathematics at the University of San Diego who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science.