JProf. Dominik Köppl, Institut für Informatik