Page Content
to Navigation
Dipl.-Inf. Tony Modica
- © Copyright??
| Duties: | PhD scholarship in IGP H-C3, associated to DFG project forMAlNET |
|---|---|
| Department: | Software Engineering and Theoretical Computer Science |
| Chair: | Theoretical Computer Science - Formal Specification (TFS)<br/>Prof. Dr. Hartmut Ehrig |
| Adress: | Technische Universität Berlin Fakultät IV Sekr. FR 6-1 Franklinstr. 28/29 10587 Berlin |
| Room: | FR 6040 |
| Telephone: | +49(0)30-314/24189 |
| E-Mail: | MODICA (AT) CS.TU-BERLIN.DE |
| Links: | Integrated Graduate Program Human-Centric Communication Center (IGP H-C3) DFG project "Formal modeling and analysis of flexible processes in mobile ad-hoc networks" (forMAlNET) |
| Other personal sites: | XING profile Frets on Fire FOFItalia |
Formal Modeling and Analysis of Communication Spaces
Communication Spaces (CS) are intended to give a general view on communication-based systems that focuses on the actors and the relations among each other. One of the main aspects of CS is to take into account human-centric demands, e.g. adaption to environment and preferences, interpretation of content in contexts. Since most of the well-known formal modeling approaches are adequate only for specific aspects of CS, I advocate the new formal approach of Reconfigurable Algebraic Higher-Order Petri Nets with Individual Tokens (AHOI nets) in my PhD research. This approach is an integration of several different well-established modeling techniques as Petri nets, many-sorted algebras, and graph transformation techniques, intended to cover the main aspects of CS and to analyze and verify properties specific to them. As a case study, I'm working on an example modeling of the widely known Internet telephone software Skype.
Curriculum Vitae
| 10/2007 - (12/2010) | Postgraduate Student (Stipendiary) in the IGP H-C3 at Technische Universität Berlin |
| 10/2001 - 01/2006 | graduated as Dipl.-Inf (with distinction) major subject: theoretical computer science |
| 10/2009 - 12/2009 | research assistant for Prof. Orejas, Universitat Politècnica de Catalunya, Barcelona |
| 04/2006 - 09/2007 | research assistant, research project forMAlNET |
| 02/2006 - 04/2006 | research assistant for Prof. Ehrig (substitute) |
| 04/2005 - 02/2006 | student assistant, research project IOSIP |
| 11/2002 - 03/2005 | student assistant, tutor for theoretical computer science/mathematics for computer scientists at the Technical University Berlin |