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

• seit 2021 Nachhatligkeitsbeauftragte des Departments Informatik
• seit 2008 Professorin an der HAW Hamburg, Lehrgebiet Theoretische Informatik/Diskrete Mathematik
• 2006 Habilitation durch die Technische Universität Berlin
• 2002/2003 Professorin für Theoretische Informatik an der Universität Bremen
• 1996 – 2002 Leitung der  DFG-Forschungsgruppe  "Petrinetz-Technologie"
• 1996 Promation an der Technischen Universität Berlin im Rahmen eines Stipendiums eines DFG-Graduiertenkollegs
• 1987-1991 Studium der Informatik Technischen Universität Berlin

Vorstandsmitglied  von Computer Science for Future (siehe auch CS4F)

Nachhaltigkeitsbeauftragte des Departments Informatik 

Stunden- und Raumplanung für das Departments Informatik

85 Arbeiten zwischen 1997 und 2018, siehe dblp.uni-trier.de/search.