Steven M. Awodey is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.