Wir freuen uns, dass Prof. Dr.-Ing. Paula Herber den Ruf an die WWU angenommen hat, und ab dem 1.10.2018 das Institut für Informatik in Forschung und Lehre verstärkt. Frau Herber arbeitet im Bereich von Verifikation in embedded systems, und wird noch im Wintersemester ein Projektseminar dazu anbieten, Interessierte sollte auf den Aushang dazu, der bald erscheint, achten