На мой взгляд, у него начальные темы (семантика, абстрактные машины) плохо стыкуются с завершающими (оптимизации, экзотические архитектуры). Но это обычное дело для "двух тусовок". Каждая специализируется в своей области. Но в любом случае любопытно будет почитать конспекты его лекций. Он, кажется, специально не рассказывает подробно, интригует :)
Интересно будет почитать. Все-таки амбициозно и оригинально звучит, и лично я таких курсов пока не читал. Хотя, признаюсь, я не специалист и специально все не отслеживаю.