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 Future CS4F 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
Vorstandsmitglied von Computer Science for Future (siehe auch CS4F)
Nachhaltigkeitsbeauftragte des Departments Informatik
Stunden- und Raumplanung für das Departments Informatik