Model-driven Software Engineering, Funktionale Programmierung, Principles of Program Analysis, (Pro)Seminare, spannende Projekte u.v.m.