Studium | |
10/2007 - | Promotionsstudent (Stipendiat) im IGP H-C3 an der Technischen Universität Berlin
|
10/2001 - 01/2006 | Informatikstudium an der Technischen Universität Berlin
Abschluss "mit Auszeichung" zum Dipl.-Inf.
Schwerpunkt Theoretische Informatik
|
Berufliche Tätigkeiten
|
04/2006 - 09/2007 |
wiss. Mitarbeiter im Forschungsprojekt forMAlNET |
02/2006 - 04/2006 |
wiss. Mitarbeiter bei Prof. Ehrig (Vertretung) |
04/2005 - 02/2006 |
stud. Hilfskraft im Forschungsprojekt IOSIP |
11/2002 - 03/2005 |
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 |
Graph-/Modeltransformation, Algebraische high-level Petrinetze, Visuelle Sprachen, Kategorientheorie |
Vorläufiges Thema |
Formale Modellierung und Analyse von Communication Spaces |
Veröffentlichungen |
E. Biermann, C. Ermel, T. Modica, and P. Sylopp. Implementing Petri Net Transformations using Graph Transformation Tools. In P. Baldan and B. König, editors, Proc. Third International Workshop on Petri Nets and Graph Transformations. EC-EASST, 2008. To appear.
Reference
|
| E. Biermann and T. Modica. Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. In J. de Lara C. Ermel and R. Heckel, editors, Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), volume 10. EC-EASST, 2008. Reference
|
|
H. Ehrig, K. Hoffmann, J. Padberg, C. Ermel, U. Prange, E. Biermann, and T. Modica. Petri Net Transformations. In Petri Net Theory and Applications, pages 1-16. I-Tech Education and Publication, 2008. |