University of Bremen Logo  
Research Group Theoretical Computer Science
Welcome to the Research Group Theoretical Computer Science in the Department of Mathematics and Computer Science at the University of Bremen, Germany. We are part of the Technologie-Zentrum Informatik und Informationstechnik TZI [Centre for Computing and Communication Technologies] as a member of the Concerted Activity System Quality and Information Security SQUIS and a partner in the interdisciplinary Bremen Research Cluster for Dynamics in Logistics LogDynamics.

Our teaching and research concentrate on theoretical computer science. In particular, we work in the areas of algebraic specification, graph transformation, and syntactic methods of picture generation.

Moreover, our group member Veronika Oechtering works on making informatics (i.e. computer science) more attractive to women, which implies reforms of the university education as well as gender studies in informatics (see Informatica Feminale and Kompetenzzentrum Frauen in Naturwissenschaft und Technik ).

Current events and activities:
  • none
Past events and activities

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

++49(421)218 64451