Tobias Heindel
Universität Duisburg-Essen, Campus Duisburg
Fakultät für Ingenieurwissenschaften
Abteilung Informatik und
Angewandte Kognitionswissenschaft
47048 Duisburg
Germany

Room Number: LF 265
Phone: ++49-203-3793566
Fax: ++49-203-3793557
e-mail: uni-due.de

CV

Research Interests:

Rewriting Mechanisms (in Adhesive Categories),
Behavioural Equivalences and Causal Semantics,
Category Theory in Computer Science

Projects

• Analisi di sistemi di Riduzione mediante sistemi di Transizione (ART)


• Syntactic and Semantic Integration of Visual Modelling techniques (Segravis)


• Static Analysis of Dynamically Evolving Systems (SANDS)
  

Publications

My refereed publications are listed here; you are also invited to have a look at my PhD thesis.