I hope he will cover some other exotic ideas like program inversion which I find really interesting, in the same area there is also specialization, though that

I hope he will cover some other exotic ideas like program inversion which I find really interesting, in the same area there is also specialization, though that is maybe a bit too similar to term rewriting.