Studium | |
07/2010 - | Promotionsstudent im IGP H-C3 an der Technischen Universität Berlin
|
10/2003 - 01/2010 | Informatikstudium an der Technischen Universität Berlin
Abschluss "mit Auszeichung" zum Dipl.-Inform.
Schwerpunkte: Theoretische Informatik, Programmiersprachen und -systeme
|
Berufliche Tätigkeiten
|
02/2010 - 06/2010 |
wissenschaftlicher Mitarbeiter im DFG-Forschungsprojekt
"Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc-Netzwerken und kommunikationsbasierten Systemen" (forMAlNET)
|
10/2006 - 09/2009 |
studentischer Mitarbeiter im DFG-Forschungsprojekt forMAlNET |
10/2005 - 09/2009 |
stud. Hilfskraft, Tutor für theoretische Informatik/Mathematik für Informatiker an der Technischen Universität Berlin |
Arbeitsgruppe |
Theoretische Informatik/Formale Spezifikation (TFS) |
Betreuer |
Prof. Dr. Hartmut Ehrig |
| Prof. Dr. Ina Schieferdecker |
Forschungsinteressen |
Formale Modellierung, High-Level Petrinetze, Prozesse, Graphtransformation |
Vorläufiges Thema |
Interaction of Human-Centric Communication Spaces: Modelling and Analysis using Algebraic High-Level Net Processes |
Veröffentlichungen |
Composition and Independence of High-Level Net Processes. H. Ehrig, K. Hoffmann, K. Gabriel, and J. Padberg. Proc. of the First Workshop on Formal Methods for Wireless Systems (FMWS 2008). Volume 242(2) of ENTCS, 2009, pp. 59-71
|
| Finitary M-Adhesive Categories. B. Braatz, H. Ehrig, K. Gabriel, U. Golas. Proc. of Graph Transformations - 5th International Conference (ICGT 2010). Volume 6372 of LNCS, Springer (2010), pp. 234-249
|