Prof. Dr. Julia Padberg

Theoretische Informatik, Formale Sprachen, Graphentheorie, Mathematische Grundlagen der Informatik, Theorie verteilter Systeme, Formale Simulation und Verifikation von verteilten Algorithmen
Nachhaltigkeit und Klimaschutz in der Informatik

Unterlagen zu aktuellen und alten Lehrveranstaltungen sind in  EMIL oder einem MS-Team zu finden.

Die Initiative Computer Science for FutureCS4F  an der HAW Hamburg will die Disziplin Informatik im Sinne der Nachhaltigkeitsziele der UN zu verändern. Das beinhaltet unsere Forschung, den Transfer in Wirtschaft und Zivilgesellschaft sowie die Veränderung in der eigenen Institution.  Aber der Fokus liegt auf der Lehre, denn die aussichtsreichsten Multiplikator*innen sind unsere Studierenden.

Forschung bis 2018  in den  Bereichen

• Formale Spezifikation und Modellierung
• Kategorielle Beschreibungen in der Informatik
• Graphtransformationssysteme, Petrinetze

Siehe www.researchgate.net/profile/Julia_Padberg