|
| Academic Studies | |
| 07/2010 - | Postgraduate Student in the IGP H-C3 at Technischen Universität Berlin
|
| 10/2003 - 01/2010 | Studies on computer science at Technische Universität Berlin
graduated as Dipl.-Inform. (with distinction)
major subjects: theoretical computer science, programming languages and systems
|
| Professional Experience
|
|
02/2010 - 06/2010 |
research assistant, research project "Formal modelling and analysis of flexible processes in mobile ad-hoc networks" (forMAlNET)
|
| 10/2006 - 09/2009 |
student assistant, research project forMAlNET |
|
10/2005 - 09/2009 |
student assistant, tutor for theoretical computer science/mathematics for computer scientists at Technische Universität Berlin |
| Research group |
Theoretical computer science/formal specification (TFS) |
|
| Advisors |
Prof. Dr. Hartmut Ehrig |
| Prof. Dr. Ina Schieferdecker |
|
| Research interests |
Formal modelling, high-level Petri nets, processes, graph transformation |
|
| Preliminary title |
Interaction of Human-Centric Communication Spaces: Modelling and Analysis using Algebraic High-Level Net Processes |
| Publications |
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
|
