TU Dresden, Fakultät Informatik, Institut für SMT, Professur DDI