Active-Group-CEO Mike Sperber war zu Gast bei Type Theory Forall, einem englischsprachigen Podcast zu funktionaler Programmierung und formalen Systemen. Mike erzählt im Podcast aus seiner persönlichen Biografie, was ihn antreibt, was ihm an Industrie und Akademie gefällt und was ihn daran stört, wie der Zusammenhang von Mensch, Welt und Computer beschaffen ist und vieles mehr.