The lecturers are from the same team developing Low Level Hardware Description (LLHD) language:

https://github.com/fabianschuiki/llhd

p/s: It seems that Lecture 7 slide is missing, though.