About me
Mike Spertus is Chief Product Officer at Kodamai, a company applying category theory and formal methods to AI Governance. He also teaches Advanced C++, Generative AI, and Big Data at the University of Chicago, and was a long-time member of the C++ standards committee. Previous roles include Senior Principal Engineer for Developer Tools at AWS and Fellow/VP at Symantec.