Chairs
- Software Engineering and Programming Languages
- Software Engineering - Prof. Dr. Wolfgang Reif (ISSE)
- Theoretical Computer Science - Prof. Dr. Walter Vogler
- Research: Theory of Concurrent Systems, Petri Nets, Process Algebra, Temporal Logic, Efficient State Space Representation
- Teaching: Discrete Structures, Introduction to Theoretical Computer Science, Logic, Algorithms and Data Structures, Petri Nets, Process Algebra, Finite Automata, Distributed Algorithms
- Programming Distributed Systems - Prof. Dr. Bernhard Bauer (ISSE)
- Research: Technologies: model-driven software engineering, code generation, model transformations, evolution of models and model transformations, validation of models, semantic enabled software engineering, semantic annotation, synthesis of models, analysis of models, organic computing, rule- and policy-based emergence, bio-inspired approaches, decentralized coordination mechanisms. Application areas: business process modelling and management, SOA, automotive, dynamic optimization problems
- Software & Systems Engineering (Substitute Professorship) - Prof. Dr. Alexander Knapp (ISSE)
- Databases and Information Systems
- Databases and Information Systems - Prof. Dr. Werner Kießling
- Research: Preference based database systems and search engines, personalized information systems, cooperative man-machine-interaction and agent systems, preference mining, innovative database applications for electronic / mobile commerce
- Teaching: Database Systems I (relational database systems, SQL), Database Systems II (deductive and object-oriented database systems), Search Engines, Database Programming (using Oracle)
- Programming Methodology and Multimedia Information Systems - Prof. Dr. Bernhard Möller
- Research: Algebraic System Derivation: Temporal and Modal Logics and Algebras, Algebras for Feature-Oriented Software Development, Hybrid Systems, Algebras with Iteration, Refinement Algebra, Pointer Structures, Separation Logic, Concurrent Kleene Algebra, Algebraic Logic for Multi-Agent SystemS. Multimedia Information Systems
- Teaching: Discrete Structures, Introduction to Theoretical Computer Science, Logic, Informatics III, Algebraic Semantics and Algebraic System Derivation, Computer Graphics
- Systems and Networking - Prof. Dr. Theo Ungerer
- Research: Processor Architectures & System Software, Organic & Ubiquitous Computing, Sensor Networks, Fault Tolerance, Reconfigurable Computing, Embedded Multicore, Multithreaded SoC Processor Core, Organic Real-Time System Software, Organic Middleware, Organic Manycore, Mobile Agents, Energy Efficiency
- Human Centered Multimedia - Prof. Dr. Elisabeth André
- Research: Virtual Agents, Affective Computing, Tangible Interfaces, Interactive Multitouch Surfaces, Interactive Story Telling, User Interfaces for Computer Games, Cultural Computing
- Teaching: Foundations of Multimedia, Human-Computer Interaction, Usability Engineering, Game Programming, Virtual Agents, Augmented Reality, Context-Aware Systems, Multimedia Project
- Theoretical Computer Science - Prof. Dr. Torben Hagerup
- Research: algorithms and data structures:dynamic maintenance of lists, graph algorithms: discovery of disjoint paths, simplified verification of minimal spanning trees, complexity parameters for planar graphs and intersection graphs
- Teaching: Introduction to algorithms, introduction to formal languages, graph algorithms, data structures, network flow, approximation algorithms, complexity theory, computational geometry, online algorithms, I/0-efficient algorithms, implementation of graph algorithms
- Multimedia Computing - Prof. Dr. Rainer Lienhart
- Research: Machine Learning, object detection and recognition, real-time event detection in videos, parallel algorithms, OpenMP, image retrieval, Bayesian networks
- Teaching: Foundations of Multimedia, Multimedia Mining, Audio and Video Retrieval, Bayesian Networks, Probabilistic Robotics
- Communication Sytems - Prof. Dr.-Ing. Rudi Knorr
- Research: techniques of self-organization: mechanism, system concepts and architectures for autonomic communication, device and user interaction, mobile assistance; embedded system platform: system software for multicore processors and distributed systems, middleware, device and service management; self-organization networks: wireless systems, sensor networks and sensor nodes, quality of service concepts in broadband networks, convergence of broadband networks, internet techniques
- Teaching: basics of communication systems and internet, introduction in techniques of public networks, introduction in wireless communications systems; wireless and wired broadband networks, architectures and protocols for telecommunication and IP-based multimedia communication (Next Generation Networks)
- Teaching Professorship for Computer Science - Prof. Dr. Robert Lorenz
- Research: Concurrent Systems: Modelling (Petri nets, process algebras, partial languages, ...), Simulation, verification und synthesis of models of concurrent systems. Application areas: Business processes design, process mining, software design, communication protocols, web services, embedded systems. Speech recognition: Modelling of dialog systems, models for speech recognition
- Teaching: Introduction to hardware architecture (Informatik I), Introduction to the programming language C (Informatik I), Introduction to algorithms (Informatik I), Objectoriented software design using UML (Informatik II), Introduction to the programming language Java (Informatik II), Applied Programming in C/Java (Programming courses), Partial order semantics of Petri nets, Workflow-Management, Synthesis of Petri nets from behavioral descriptions, Algebraic Petri nets, Partial languages

