Professor appointments

This is an oversight of the professor appointments at the Informatics Institute.