Ah I miss MIS, he left us far too young. I had some of his undergrad classes, a brilliant teacher. Semantics and static analysis are (were?) popular topics at Aarhus University CS dept.