Department of Computer Science

Bordihn, Henning

Dr Henning Bordihn

Dr. rer. nat. habil.

University of Potsdam
Department of Computer Science
Building 4, Office 0.23
August-Bebel-Str. 89
14482 Potsdam, Germany

Email:
Phone: +49 331 977 3027
Fax: +49 331 977 3022

Research

Fields of Interest

Representation of information
Models of cooperation, distribution, and communication
Automata, formal grammars, and languages
Parsing
Application of computational learning theory in systems engineering

Ongoing Work

Representation of information in data structures and its impact on the limits and complexity of computations
Syntactical analysis of formal languages, in particular of non-context-free languages
Communication in terms of systems of automata and grammars
Applications of automated learning of systems based on observations of system behaviour

Publications

Author/co-author of approx. 90 scientific papers (Full list of publications)
Lecturer of approx. 40 presentations at conferences or colloquia in 10 countries

Recent Activities

Local Chair in the Organizing Comitee of the Fourth International Conference on Software Business, Potsdam, 2013.
Steering comitee of the International Workshop on Non-Classical Models of Automata and Applications.
Co-editor of Languages Alive, LNCS 7300 (Festschrift), Springer, Berlin-Heidelberg, 2012.

Teaching

Winter Term 2012/13

Basiskonzepte des Rechnerbetriebs (Basic concepts of computer operation)
Co-lecturer in Virtualisierung und Compilation (Virtualisation and Compilation)
Co-lecturer in Software Engineering 1
Co-lecturer in Grundlagen des Service Engineering 1 (Foundations of Service Engineering)

Selected Courses Tought in Former Terms at Potsdam University (partielly as co-lecturer)

Programming
Software Engineering 2
Formal Methods in System Design
Formal Models Inspired by Biology
Parsing
Information Theory

Selected Courses Tought at other Universities or Collages

Theoretical Computer Science
Logic
Comlexity Theory
Mathematics for Engineers
Mildly Context-Sensitive Grammars (at the International PhD School Formal Languages and Applications, Universitat Rovira I Virgili Tarragona, Spain, 2002--06)

Administration at Potsdam University

Councellor for graduate studies (master degree) in computer science
Committee for equal opportunities and advancement of women (faculty of computer science)