Enpeng Wang, Institut für Informatik