I have moved to the Chair for Logic and Verification at TU Munich. For my new home page see here.