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

Unterlagen zu aktuellen und alten Lehrveranstaltungen sind in  EMIL zu finden. Sie sind Gast für 24 Stunden (wiederholbar), dann nehmen Sie den Zugangsschlüssel "GAST".

Forschung in den  Bereichen

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

Siehe www.researchgate.net/profile/Julia_Padberg

• 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

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