Research Group Theoretical Computer Science
headed byWelcome 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.
Prof. Dr Hans-Jörg Kreowski
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: