Active Group CEO Mike Sperber was a guest on Type Theory Forall, an English-language podcast about functional programming and formal systems. In the podcast, Mike talks about his personal biography, what drives him, what he likes and dislikes about industry and academia, how humans, the world, and computers relate to each other, and much more.