Steve Awodey is an American mathematician and logician at Carnegie Mellon University.
He was the last student of Saunders Mac Lane.