When I was in Amsterdam earlier this year, Daan van Berkel interviewed me for the Devnology podcast. We talked about my winding career path, the overlap of math and computing, bringing math and computing closer together, formal methods, etc.
The podcast was posted this afternoon here. [Update: Looks like the link has gone away.]
Related post: Looking like you know what you’re doing