Die Energiesysteme von morgen, Data Science und maschinelles Lernen: In einer Vortragsreihe des Departments für Informatik der Universität Oldenburg berichten Professorinnen und Professoren, die in den vergangenen Jahren neu berufen wurden, in den kommenden Wochen allgemeinverständlich von ihren Schwerpunkten.

Prof. Dr. Heike Wehrheim ist auf die Professur „Theoretische Informatik: Formale Methoden“ am Institut für Informatik der Universität Oldenburg berufen worden.

Dr. Heike Wehrheim, Wissenschaftliche Mitarbeiterin im Department für Informatik der Universität Oldenburg, hat auf der Konferenz "Formal Methods for Open Object-Based Distributed Systems" (FMOODS) in Paris den "Best Paper Award" für ihre Arbeit "Inheritance of Temporal Logic Properties" erhalten.