Prof. Dr. Julia Padberg 

Theoretische Informatik/Diskrete Mathematik

Fakultät Technik und Informatik
Department Informatik
Berliner Tor 7
20099 Hamburg

Raum 11.80a
T +49.40.428 75-8412
julia.padberg(@)haw-hamburg.de

Lehrveranstaltungen

Mathematische Grundlagen der Informatik, Automatentheorie und Formale Sprachen, Graphentheoretische Konzepte und Alogrithmen, Theoretische Grundlagen verteilter Systeme, Formale Simulation und Verifikation verteilter Algorithmen,, Seminare, usf
Link zu den aktuellen Veranstaltungen

Forschungsinteressen





ReCoNet Home: https://reconnetblog.wordpress.com/A Tool for Reconfigurable Petri Nets
Foundations of programmingBlog of the Group Modeling and Verification at the HAW Hamburg.

Formale Transformationssysteme

Formale Transformationssysteme

News





Graph Transformation Day  2017 in Hamburg

10.2.2017


Letzte Änderung: June 2017