direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Focus of TFS

The research group TFS existed between 1976 and 2012, headed by Prof. Dr. Hartmut Ehrig. The main research focus of our group were semi formal and formal specifications as well as visual modelling techniques - both based on the theory of algebraic data types and categorical structuring techniques. Beside theoretical computer science our research also contained main aspects in areas like communication and software engineering. Main research topics were:

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions


Prof. Hartmut Ehrig
(from 1976 to 2012)
Dr. Claudia Ermel
Room MAR 5024

Postal Address

Technische Universit├Ąt Berlin
Faculty Electrical Engineering and Computer Science
sec. MAR 6-1
Marchstr. 23
D - 10587 Berlin