Prof. Dr. Carsten Kern Ostbayerische Technische Hochschule Regensburg Regensburg InformatikProfessor nominieren