Not sure I agree: his lectures are quite sleep inducing these days. Though reducing programming to something so simple and mathematical does open lots of possibilities...
He teaches classes at the Radboud University in Nijmegen, the Netherlands, specifically my "Languages and automata/machines" class. He has a "zen" something going on with lots of interesting comments.
Never saw him lecture though.