Faculty of Computer Science

tu-dresden.de/ing/informatik

FACULTY OF COMPUTER SCIENCE

1 WELCOME! Lucas Vogel

We are pleased to present to you one of the most attractive will ensure an early and close link of our graduates with academic sites in Germany that is offering outstanding requirements of their future working fields. opportunities to study computer science and to graduate in this most innovative field. We are committed to transfer new technologies to industry Moreover, innovation in academia and industry is being and are maintaining a multitude of contacts to mem- triggered here. Our Faculty excels in research, it is trend- bers of the industrial network “Silicon Saxony”. Interdis- setting in teaching, and it disposes of an outstanding ciplinary projects, collaboration in numerous working industrial network. Various national and international groups, lecture series on topics relevant to industry, and rankings are giving evidence of these merits. our Faculty’s event OUTPUT.DD are the foundations of close contacts between graduates and companies. Our research is devoted to developing future technologies: the Internet of Services, Fog and Cloud Comput- In April 2017 Dresden’s initiative “Smart Systems Hub ing, Data Security in Social Networks, new forms of – Enabling IoT (Internet of Things)” was included in the Human-Computer Interaction, Big Data, and Interactive group of the twelve German future Digital Hubs. Here, Visual Computing are only some examples of our re- competencies from the areas of hardware, software, and search fields that have a high relevance for our society connectivity will be bundled in order to create intelligent and industry. Computer scientists from Dresden provide systems for the era of digital industry. key technologies for all areas of life. We would like to invite you to come to Dresden and to Constantly, our research projects are adding new aspects benefit from this rich range of opportunities. to teaching: Most modern internship programs and virtual reality labs, research-oriented Master‘s theses, and internationally networking professors are providing perfect conditions for university studies of our students and Uwe Aßmann

3 NUMBERS 6 institutes 25 professors, 3 senior professors 300 employees 2000 students More than 200 current research projects More than EUR 8.3 million third-party research funds in 2015 FACULTY OF COMPUTER SCIENCE 200 graduates 2016 241 doctoral students 2016 28 dissertations 2016

Saxony’s largest educational institution for computer Research of the Faculty’s six institutes encompasses DEGREES science has been moulded by its history of sixty a wide range starting from basic to application Diplom years of research and study as well as by its early research projects. The Faculty excels in outstanding Bachelor of Science international orientation. The Faculty’s research triggers scientific competencies and high performance in the Master of Science the development of future technologies as numerous areas of software engineering, human-computer State examination areas of research are giving impacts to teaching. In the interaction, operating systems, privacy and data Dr.-Ing. / Dr. rer. nat. / Ph.D. framework of Silicon Saxony, research on software and security, computer systems, intelligent systems, and software development is opening up new dimensions. formal methods. In addition to classical computer sci- The Faculty of Computer Science plays an essential role ence and media computer science, there are eight within the Dresden University of Excellence and with- more courses of studies to choose from, including STUDY PROGRAMMES in the research alliance Dresden concept. This becomes two master’s programmes in English. Extremely mod- Computer Science evident by the involvement of Dresden computer sci- ern technical equipment, a practical focus of studies Media Computer Science entists in cutting-edge projects: The excellence cluster and teaching, internationally networked professors, Information Systems Engineering ‘‘Center for Advancing Electronics Dresden“ (cfaed), interesting research focuses and worldwide academ- Computer Science Teacher Training where chips for future applications are being construct- ic and industrial cooperations are providing excellent Computer Science and Engineering ed, research on cyber-physical systems in collaboration conditions of studies. Computational Modeling and Simulation with the School of Engineering Sciences, or the collabo- (from 2018 onwards) rative research centre “Highly Adaptive Energy-Efficient Distributed Systems Engineering Computing“ (HAEC), which is developing foundations for Computational Logic energy-efficient servers. Silvia Kapplusch

4 5 CONTACTS

DEAN DEAN OF STUDIES FOR GERMAN Prof. Dr. rer. nat. Uwe Aßmann STUDY PROGRAMMES Phone: +49 351 463-38215 Prof. Dr. rer. nat. habil. Gerhard Weber Fax : +49 351 463-38221 Phone: +49 351 463-38477 E-Mail: [email protected] Fax : +49 351 463-38491 E-Mail: [email protected]

VICE DEAN (DEPUTY) DEAN OF STUDIES FOR Prof. Dr. sc. techn. Ivo F. Sbalzarini INTERNATIONAL STUDY PROGRAMMES Phone: +49 351 210-2525 Prof. Dr. Christof Fetzer Fax : +49 351 210-1908 Phone: +49 351 463-39709 E-Mail: [email protected] Fax : +49 351 463-39710 E-Mail: [email protected]

VICE DEAN COMMISSIONER OF STUDIES Prof. Dr.-Ing. Raimund Dachselt FOR TEACHER TRAINING Phone: +49 351 463-38516 Dr. phil. Sven Hofmann Fax : +49 351 463-32827 Phone: +49 351 463-38306 E-Mail: [email protected] Fax : +49 351 463-38504 E-Mail: [email protected]

6 7 Silvia Kapplusch INSTITUTE OF APPLIED COMPUTER SCIENCE CHAIR OF HUMAN-COMPUTER CHAIR OF TECHNICAL INTERACTION INFORMATION SYSTEMS The institute concentrates on research topics from the and optimization processes in flexible, networked Prof. Dr. rer. nat. habil. Gerhard Weber Prof. Dr.-Ing. habil. Klaus Kabitzsch areas human-computer interaction, real-time com- automation systems applied to building automation, munications, building and industrial automation. semiconductor manufacturing, process and factory · User-centred development of multimodal and · Distributed, linked automation systems, field-buses, Aspects of user integration – especially in the context automation. haptic user interfaces applications in plants and buildings, ambient assisted of mobile systems – are addressed, as well as design · Navigation and new services to improve mobility living of people with special needs · Wireless sensor networks · Adaptation and adaptivity in time-dependent · Process identification, advanced control, predictive media for blind, low vision, deaf and dyslexic people maintenance · Design, test and diagnosis tools for automation systems, PLC, embedded systems · Reference asset for smart buildings and smart homes

CHAIR OF INDUSTRIAL COMMUNICATIONS Prof. Dr.-Ing. habil. Martin Wollschlaeger

· Industrial communication systems – Ethernet-based systems, fieldbus systems, management of heterogeneous networks · Information models in automation, device and interaction models in Life Cycle, semantic annotations, DIRECTOR OF INSTITUTE continuous description methods Prof. Dr.-Ing. habil. Martin Wollschlaeger · Industrial Internet – integration of IT solutions and automation systems, web technologies in automation Office contact: Silke Hirsch +49 351 463-39669 [email protected] Lucas Vogel 8 9 tu-dresden.de/ing/informatik/ai 9 INSTITUTE OF CHAIR OF CHAIR OF SCIENTIFIC COMPUTING FOR COMPUTER VISION SYSTEMS BIOLOGY ARTIFICIAL INTELLIGENCE Prof. PhD Carsten Rother Prof. Dr. sc. techn. Ivo F. Sbalzarini

· Computer Vision (scene understanding, object · Scientific computing and numerical analysis The institute focuses on artificial intelligence in rese- scenes or industrial quality control using pattern tracking, interactive segmentation, stereo, image and · Computer simulation of biological processes arch and teaching. Using knowledge-based systems, analysis and pattern recognition. Another objective is to video enhancement, 3D reconstruction). · Particle methods for simulation and image analysis applications are developed that help to find and develop novel computational methods primarily used · Machine Learning (graphical models, deep learning, · Bio-inspired algorithms eliminate errors in technical systems or to diagnose for biological questions. bayesian inference, large scale optimization) · Image analysis and processing for microscopy diseases, based on formalized knowledge and · Bio Imaging (tracking, registration, deconvolution) · Parallel high-performance computing for numerical logical conclusions. Computer vision supports, simulations for example, the recognition of faces, objects and · Computational biology

CHAIR OF CHAIR OF KNOWLEDGE COMPUTATIONAL LOGIC REPRESENTATION AND REASONING Prof. Dr. rer. nat. Sebastian Rudolph Prof. Dr. rer. nat. habil. Steffen Hölldobler

· Semantic technologies · Logic and Logic Programming · Logic-based knowledge representation (in particular · Knowledge Representation and Inference description logics and rule-based approaches) · Connectionist Systems · Decidability and complexity analysis of logic formalisms · Human Reasoning · Ontological modeling · Cognitive Science · Formal concept analysis · Theory of databases · Computational linguistics SENIOR CHAIR OF APPLIED SENIOR CHAIR OF KNOWLEDGE REPRESENTATION COMPUTATIONAL LOGIC AND REASONING Sen.-Prof. Dr. rer. nat. habil. Horst Reichel Sen.-Prof. Dr.-Ing. habil. Uwe Petersohn

· Formal methods based on induction and coinduction · Intelligent Agents, Search Algorithms, Discrete · Partial First-Order Logic Optimization, Planning DIRECTOR OF INSTITUTE Office contact: Romy Thieme · Case-Based Reasoning, Making Complex Decisions

Lucas Vogel Prof. Dr. rer. nat. habil. Steffen Hölldobler +49 351 463-39239 10 [email protected] 11 tu-dresden.de/ing/informatik/ki INSTITUTE OF CHAIR OF COMPUTER GRAPHICS AND CHAIR OF VISUALIZATION MULTIMEDIA TECHNOLOGY SOFTWARE AND MULTIMEDIA TECHNOLOGY Prof. Dr. rer. nat. Stefan Gumhold Prof. Dr.-Ing. Raimund Dachselt

· Scientific Visualization and visual analysis · Natural User Interfaces: combining multiple Our research and teaching activities are focused Visual Computing, interaction design, visualization, · Acquisition and processing of 3D models interaction modalities and displays on important aspects of the analysis, design, human-computer interaction and didactics of infor- · Scene understanding from image data · Interactive information retrieval and visualization & implementation and usage of complex applica- matics. Our institute makes significant contributions exploration of big information spaces tions and multimedia systems. In our increasingly in the study programmes Media Computer Science, · Human collaboration at ultra-high resolution digital world software must be highly flexible, Computer Science, Information Systems Engineering wall-sized displays context-aware, adaptable, powerful, usable and and also coordinates the Computer Science Teacher a pleasure to use. Among the research topics Training. we are interested in are topics like automated CHAIR OF CHAIR OF software development, composite web applications, DIDACTICS OF INFORMATICS SOFTWARE TECHNOLOGY Deputy: Dr. phil. Sven Hofmann Prof. Dr. rer. nat. Uwe Aßmann

· Teaching methodology of ICT / ICT teaching · Software reuse · Didactical aspects of e-learning · Model-driven development and language engineering · Educational standards of ICT at schools · Construction of software product lines · Semantic technologies in software engineering

CHAIR OF SENIOR CHAIR OF MEDIA DESIGN MULTIMEDIA TECHNOLOGY Prof. Dr.-Ing. habil. Rainer Groh Sen.-Prof. Dr.-Ing. Klaus Meißner

· Concept and design of interactive systems · Development methods and system architecture for · 3D-Projection principles according to human distributed, adaptive, multimedia applications in perception mobile and web scenarios · Design methods of Human-Computer Interaction · Advanced rich media user interface techniques for web service oriented applications · Collaboration and communication techniques in DIRECTOR OF INSTITUTE Office contact: Ramona Behling virtual teams, communities and organizations

Lucas Vogel Prof. Dr.-Ing. Raimund Dachselt +49 351 463-38516 12 [email protected] 13 tu-dresden.de/ing/informatik/smt INSTITUTE OF CHAIR OF CHAIR OF OPERATING SYSTEMS COMPUTER NETWORKS SYSTEMS ARCHITECTURE Prof. Dr. rer. nat. Hermann Härtig Prof. Dr. rer. nat. habil. Dr. h. c. Alexander Schill

· Microkernel-based Operating Systems · Mobile Computing The institute focusses on research activities of research projects of the department. In addition to · Systems für High Performance Computing · Internet of Things scalable, trustworthy, and privacy preserving software pushing the envelope in terms of computer science · Real-Time Systems, Embedded Systems · Distributed Systems systems in distributed environments. The bouquet of basic and applied research, the goal is also to convey · Secure System Architectures · Delay-Tolerant Networks research activities ranges from operating systems via research ideas to students and actively integrate them · Virtual-Machine Technology · E-Learning database management systems to complex distributed in research projects as early as possible. · Interaction of HW/SW Architectures application systems from the perspective of programmability, reliability as well as privacy and data CHAIR OF CHAIR OF protection. The institute is integrated in all structured DATABASES SYSTEMS ENGINEERING Prof. Dr.-Ing. Wolfgang Lehner Prof. Dr. Christof Fetzer

· Modeling and architecture of database systems to · Secure and dependable cloud computing analyze very large databases (Big Data platforms) · Secure microservices · Database technology exploiting modern hardware · Distributed computation infrastructures (e.g. in-memory computing, · Trusted execution technologies NVRAM, …) · Generation and querying of structured web content (WebTables)

CHAIR OF PRIVACY AND DATA SECURITY Prof. Dr.-Ing. Thorsten Strufe DIRECTOR OF INSTITUTE Prof. Dr.-Ing. Wolfgang Lehner · Privacy Enhancing Technologies, anonymous communication, darknets and anonymous services Office contact: Ines Funke · User- and data analysis, inference attacks on the privacy +49 351 463-38257 in social media [email protected] · Network security and resilient networking Lucas Vogel 14 15 tu-dresden.de/ing/informatik/sya15 INSTITUTE OF CHAIR OF CHAIR OF ADAPTIVE DYNAMIC SYSTEMS COMPUTER ARCHITECTURE COMPUTER ENGINEERING Prof. Dr.-Ing. Diana Göhringer Prof. Dr. rer. nat. Wolfgang E. Nagel

· Reconfigurable application-specific multi-core · Software tools for the support of programming and The institute focusses on architectural design, and tasks relevant to economics. Additionally, architectures optimization realization, evaluation and operation of computer the institute is strategically involved in major · Network-on-Chip · Programming methods and technologies for systems and embedded systems, both in the research projects such as HAEC and cfaed. Within · Simulators / virtual platforms high-performance computers domain of low-level system software as well as on the framework of the competence centre ScaDS · Hardware-software-codesign and runtime systems · Grid-computing hardware. Through a wide range of courses the Dresden/Leipzig it addresses the important field of · Architecture and performance analysis of institute addresses the technical aspects of computer Big Data. high-performance computers science. These aspects often lead to innovative solutions, especially for tasks of high complexity CHAIR OF CHAIR OF VLSI DESIGN, COMPILER CONSTRUCTION DIAGNOSTICS AND ARCHITECTURE Prof. Dr.-Ing. Jerónimo Castrillón Prof. Dr.-Ing. habil. Rainer Spallek

· Programming methods for heterogeneous · Circuit, Processor and System Design multi-processor systems · Modeling and Simulation of Electronic Systems · Domain specific languages and compilers · Test and Diagnosis of Complex Systems · Optimization algorithms for code performance · Dependability and Heterogeneous System and energy efficiency Architectures

CHAIR OF PROCESSOR DESIGN Prof. Dr. Akash Kumar DIRECTOR OF INSTITUTE Prof. Dr. rer. nat. Wolfgang E. Nagel · Reconfigurable approximate computing systems Office contact: Jenny Baumann · Designing reliable and energy-efficient +49 351 463-38246 multiprocessor systems [email protected] · Thermal-aware design for 3D architectures Lucas Vogel 16 17 tu-dresden.de/ing/informatik/ti17 INSTITUTE OF

THEORETICAL COMPUTER SCIENCE CHAIR OF ALGEBRAIC AND LOGICAL CHAIR OF FOUNDATIONS FOUNDATIONS OF COMPUTER SC. OF PROGRAMMING Prof. Dr. rer. nat. Christel Baier Prof. Dr.-Ing. habil. Heiko Vogler The institute investigates various theoretical aspects in large collaborative research projects such as the of Computer Science, with a special focus on formal collaborative research centre HAEC and the centre of · Modeling · Automata theory modeling of artificial (i.e., man-made) systems. excellence cfaed. It is active in the education of young · Specification and analysis of reactive systems · Formal models for natural language processing Together with its comprehensive teaching program, scientists by its participation in the DFG Research · Model checking · Functional programming the institute covers all the important aspects of Training Groups QuantLA and RoSI. · Coordination languages Theoretical Computer Science. In addition to its foun- · Probabilistic systems dational research, the institute also bridges the gap · Verification of quantitative properties between theory and practice through its cooperation

CHAIR OF CHAIR FOR KNOWLEDGE-BASED AUTOMATA THEORY SYSTEMS Prof. Dr.-Ing. Franz Baader Prof. Dr. rer. pol. Markus Krötzsch

· Knowledge Representation (in particular, Description · Intelligent Systems and Modal Logics) · Knowledge Management on the Web · Automated Deduction (in particular, Term Rewriting, · Artificial Intelligence Unification, and Constraint Solving) · Knowledge Representation and Reasoning · Automata Theory (in particular its applications in logics)

DIRECTOR OF INSTITUTE Prof. Dr.-Ing. Franz Baader

Office contact: Kerstin Achtruth +49 351 463-38231 [email protected] Lucas Vogel 18 19 tu-dresden.de/ing/informatik/thi19 HONORARY PROFESSORSHIPS CO-MEMBERSHIPS

ADJUNCT PROFESSOR FOR AUTOMOTIVE ADJUNCT PROFESSOR FOR ENTERPRISE Biotechnology Center (BIOTEC) Faculty of Mathematics and Natural Sciences SOFTWARE ENGINEERING SOFTWARE Chair of Biological Computer Science Project group Discrete Structures Prof. Dr. rer. nat. Bernhard Hohlfeld Prof. Dr. rer. nat. Uwe Kubach Prof. Dr.-Ing. Michael Schroeder apl. Prof. Dr. rer. nat. habil. Ulrike Baumann Dr.-Ing. Mirko Conrad (Lecturer)

· Methods for developing complex and reliable soft- · Middleware for Machine-to-Machine Communication Faculty of Electrical and Computer Engineering Faculty of Business Management and Economics ware systems for vehicle functions and the Internet-of-Things Chair of Mobile Communications Systems Chair of Business Informatics, esp. Information Systems · Software development process as part of function · Business process optimization and new business Prof. Dr.-Ing. Dr. h.c. Gerhard Fettweis in Trade and Industry development models based on real-time machine data Prof. Dr. rer. pol. Susanne Strahringer · Model based development · Next generation business applications in areas like · Testing methodology remote and predictive service management, connected Faculty of Mechanical Engineering · Functional safety (ISO 26262) vehicles, tracking & tracing, and Industry 4.0 Chair of Engineering Design and CAD · AUTOSAR (Automotive Open System Architecture) Prof. Dr.-Ing. habil. Ralph Stelzer

ADJUNCT PROFESSOR FOR COMPUTATIONAL ADJUNCT PROFESSOR FOR SOFTWARE TECHNOLOGY MOLECULAR BIOLOGY OF LARGE SYSTEMS Prof. Dr. Eugene W. Myers Prof. Dr. sc. tech. Frank J. Furrer

· Simulation and inversion of light optical phenomenon · Architecture of large and complex softwaresystems · High performance, robotically controlled microscopy · Agile & future-proof softwaresystems · Segmentation and Tracking in the life sciences · Domain software engineering · Digital models of development and their analysis · Autonomic and cognitive computing · DNA sequencing and assembly

Wormholes in curved space - time from: Signa in silico Authors: Stoschek/Schönfeld 20 21 RESEARCH FOCUS

The Faculty of Computer Science is covering a wide range of research topics – from theory to applied and practical computer science. This involves fundamental research on a high international level as well as application-focussed research with an interdisciplinary perspective involving multiple partners.

Numerous research activities and projects are the basis for the following six strategic research areas in our Faculty of Computer Science:

· Software Technology and its Applicability in Cyber- physical, Mobile, and Hardware-oriented Systems · Internet of Things, Cloud Computing and Internet Security · Data-intense Computing and Big Data, Knowledge Extraction · Human-Computer Interaction and Visual Computing · Formal Modeling and Analysis of Artificial Systems · Modeling, Machine-Learning, and Simulation of Natural Systems

22 23 Lucas Vogel SOFTWARE TECHNOLOGY

EXAMPLE PROJECTS AND ITS APPLICABILITY IN CYBER-PHYSICAL, MOBILE AND HARDWARE-ORIENTED SYSTEMS 39 · Research training group RoSI (DFG GRK 1907, p. 55) Software is not only a central element of traditional · Exzellence cluster cfaed (p. 39) computer systems but rather the centrepiece of dis- · CyPhyMan – Cyber-Physical Manufacturing tributed applications, and to an increasing extent part Facility Management (ESF InnoTeam) of products and devices. In this main research area, · T-RoX – Teaching Software Engineering for the development of architectures, technologies, com- Service Robots in Saxony plex software systems, and applications for distribut- · EXPLOIDS – Explicit Privacy-Preserving Host ed and also hardware-related systems is investigated. Instrusion Detection System (BMBF) Topics of research are, amongst others, software as a · OpenLicht – Open Source Open Source for service, engineering of product-lines, component-based intelligent light and lighting systems (BMBF) and model-driven software-engineering, methods of · IPCC – Intel Parallel Computing Centre Dresden developing context-sensitive, adaptive systems, inter- (Industry) net of things, mobile computing, mobile embedded systems, and optimization of energy efficiency.

Contact person: Prof. Dr. rer. nat. Uwe Aßmann Phone: +49 351 463-38463 Fax: +49 351 463-38459 E-Mail: [email protected] Lucas Vogel 24 25 THE INTERNET OF

SERVICES EXAMPLE PROJECTS

CLOUD COMPUTING AND INTERNET SECURITY · ServiceFlow (BMBF joint research project) · SERECA – Secure Enclaves for Reactive Cloud A continuously growing amount of data, services and Applications (EU H2020) virtualized computer resources and business processes · SecureCloud – Secure are transferred to the internet, thus being ubiquitous and Big Data Processing in Untrusted Clouds (EU H2020) retrievable from anywhere. Manifold research activities · TOPAs – Tools for Continuous Building Performance of this strategic central research area comprise the Auditing (EU H2020) development of methods, processes and applications · SELIS – Shared European Logistics Intelligent in fields like service and cloud computing, mashups Information Space (EU H2020) and composition, rich internet applications, context adaptation, multi-facetted data security, and management of heterogeneous nets.

Contact person: Prof. Dr. rer. nat. habil. Dr. h. c. Alexander Schill Phone: +49 351 463-38261 Fax: +49 351 463-38251 E-Mail: [email protected]

Prof. Dr.-Ing. Thorsten Strufe Phone: +49 351 463-38247 Fax: +49 351 463-38255 E-Mail: [email protected] 26 27 Leon Leuthäuser Leon DATA-INTENSIVE COMPUTING

EXAMPLE PROJECTS AND BIG DATA, KNOWLEDGE EXTRACTION

· ScaDS Dresden/Leipzig (BMBF Nowadays, data in the web and in social networks have competence centre, p. 41) to be categorized into structured data, partly structured · HAEC (DFG SFB 912, p. 38) data (e.g. documents), and unstructured data (e.g. · SecureCloud – Secure Big Data Processing in pictures, videos). Additionally, dynamic data flows Untrusted Clouds (EU H2020) are increasing, e.g. those from sensor networks that · VAVID – Dynamic bile flow modeling and require real-time processing and analysis. Providing pressure sensing in primary sclerosing access to these data is one of the „Big Data“ challenges, cholangitis (BMBF) associated with boosting research fields like internet · NEXTGenIO – Next Generation I/O for Exascale information retrieval, extraction of knowledge and (EU H2020) information, data clustering, and data analysis. · READEX – Runtime Exploitation of Application All this requires new, intelligent ways of recognizing, Dynamism for Energy-efficient eXascale processing, and analyzing data, which then have to Computing (EU H2020) scale on flexible IT-infrastructures, making use of the · GeRDI – Generic Research Data Infrastructure necessary resources. · FFQ – Flash Forward Query Framework (DFG)

Contact person: Prof. Dr. rer. nat. Wolfgang E. Nagel Phone.: +49 351 463-35450 Fax: +49 351 463-37773

Torsten Pross E-Mail: [email protected] 28 29 HUMAN-COMPUTER EXAMPLE PROJECTS INTERACTION · CollabWall: Understanding Collaborative AND VISUAL COMPUTING Work with Interactive Display Walls in Multi- Device-Environments (DFG) · Smart Workbench – Graphical Aissistance Our vision is to provide human beings with intuitive ac- System for Production Technology (ESF) cess to computer technology that is an increasingly ubiq- · Rich Scene Model (ERC Consolidator Grant) uitous part of all areas of human activity. This includes · Mosaik – Accessible graphics for blind users research on mobile devices, new input and display (BMAS) technologies, and interaction with digitally augmented · MOOCAP – MOOCs for Accessibility or enhanced objects of everyday life, which we call Partnership (Erasmus+) „everywhere interaction“. For this, fundamental ques- · GEMS 2.0 – Visual Editing and Comparison tions concerning interaction design, usability, accessi- of Multivariate Graphs using Multiple bility, user experience, and technical applicability have Interactive Displays (DFG) to be answered. Research focusses on natural and multi- · VANDA – Visual and Analytics Interfaces for modal human-computer interaction with interactive Big Data Environments (EFRE) surfaces in mobile/ubiquitous contexts, barrier free IT and accessibility for all, and also addresses related didactic questions. In the field of visualization, computer graphics, and image processing modern methods for data exploration and analysis, for perception-oriented Contact person: visualization of complex scientific data, for information Prof. Dr.-Ing. Raimund Dachselt visualization, for 3D scene understanding, interactive Phone: +49 351 / 463-38507 learning, or interactive picture segmentation are being Fax: +49 351 / 463-32827 thoroughly investigated. E-Mail: [email protected]

Prof. Dr. rer. nat. Stefan Gumhold Phone: +49 351 463-38212 Fax: +49 351 463-38396 E-Mail: [email protected] 30 31 Professur Professur Multimedia Technologie FORMAL MODELING

EXAMPLE PROJECTS AND ANALYSIS OF ARTIFICIAL SYSTEMS

· Research training group QuantLA In this main research area, artificial systems are (DFG GRK 1763, p. 54) defined as systems being set up by humans. These · Excellence cluster cfaed (p. 39) systems are either software-systems by definition or · Collaborative Research Centre HAEC (p. 38) they are fully or partially being operated by software. · HYBRIS – Hybrid Reasoning for Intelligent In computer science, the formal modeling of systems Systems (DFG FOR 1513) like these is a fundamental step during the transition · DIAMOND – Data Integration and Access by from an informal task description to a formal approach Merging Ontologies and Databases of the problem to be solved. Using formal models with (DFG Emmy-Noether Junior Research Group) a well-defined semantics facilitates the exchange of models and allows for automatic analysis of models. This analysis encompasses the proof of functional attributes of the system (e.g. verification of correctness) as well as the investigation of non-functional attributes (e.g. response period, quality of output). The development of and research on modeling languages is in the centre of this research focus. Furthermore, the development and implementation of methods of analysis for formal models by using methods of algebra, artificial intelligence, theoretical computer science, and probability methods are being investigated.

Contact person: Prof. Dr.-Ing. Franz Baader Phone: +49 351 463-39160 Fax: +49 351 463-37959 E-Mail: [email protected] Tino Winkler Tino 32 33 MODELING

MACHINE LEARNING AND SIMULATION OF EXAMPLE PROJECTS NATURAL SYSTEMS

· Rich Scene Model (ERC Consolidator The process of understanding natural systems, e.g. Grant, S. 43) from biology, our physical environment, or medicine, is · Parallel high-performance computing for advanced by the computer-assisted analysis of complex systems biology data as well as by modeling and simulation of natural · Simulation of biological processes in systems. Thus, restrictions concerning controllability complex 3D geometries and observability can be overcome. Picture processing · Redivia: New leads. new targets. (BMWi) and picture understanding (computer vision), computer · Materials for tissue regeneration within simulation of continuous and discrete system models systemically altered bone (computational science) are in the focus of this research (DFG SFB/TRR 79) topic. Numerical optimization – both discrete and con- · DYNAFLOW – Dynamic bile flow modeling tinuous – as well as machine learning of these complex and pressure sensing in primary sclerosing and frequently structured models, are crucial aspects cholangitis (BMBF) in this field of research. In an interdisciplinary process, new theories and methods are being developed and implemented. Applications range from systems biology (Centre of Systems Biology Dresden) to human-machine interaction and robotics up to engineering (Centre for Advancing Electronics Dresden). Efficient algorithms and the use of high-performance parallel computers allow for managing huge amounts of data and model complexities. Contact person: Prof. Dr. sc. techn. Ivo F. Sbalzarini Phone: +49 351 210-2525 Fax: +49 351 210-1908 E-Mail: [email protected] 34 35 Lucas Vogel SELECTED MAJOR PROJECTS OF THE FACULTY

Our Faculty is involved in numerous, interdisciplinary the excellence initiative of TU Dresden. In cfaed, a mul- major projects that are being financed by a third party titude of partner institutions with an interdisciplinary in an EU-context. The Faculty of Computer Science and focus are researching jointly on developing new materi- the Faculty of Electrical and Computer Engineering are als in electronics – thus relating closely to the strategic joined synergetically within the School of Engineer- development of methods that are applied in computer ing Sciences. They are closely cooperating with local science. partners from industry and business. In this, they are supported by a growing collaboration with the Faculty Furthermore both, the national Big Data Competence of Mechanical Science and Engineering that is provid- Centre ScaDS Dresden/Leipzig (Scalable Data Services ing excellent research and design in materials science and Solutions) with its broad interdisciplinary field of as well as by joint projects in research focuses of the research and the 5G-Lab, which was founded in 2014, School of Engineering Sciences. display the vast potential of our site.

The successful application for the cluster CoolSilicon in 2008 has bundled the collective efforts towards “energy- efficiency in IT” by joining university and non-university researchers with partners from regional industry and business.

More recent examples are the collaborative research centre 912 “HAEC – Highly Adaptive Energy-efficient Computing” and the cluster cfaed “Centre for Advanc- ing Electronics Dresden” which was constituted within

36 37 Uwe Schossig COLLABORATIVE RESEARCH CENTRE EXCELLENCE CLUSTER

HAEC cfaed / Jürgen Lösel CFAED HIGHLY ADAPTIVE ENERGY-EFFICIENT CENTER FOR ADVANCING ELECTRONICS DRESDEN COMPUTING Prof. Dr.-Ing. Dr. h.c. Frank H. P. Fitzek H. P. h.c. Frank Dr. Dr.-Ing. Prof.

Energy consumption in modern IT systems is not only a network architecture, being a major innovation for en- CMOS so far has been the driving force behind the con- expected from this integration. At the same time, the focus significant cost factor; it also approaches a level where ergy-adaptive computing and communication with the tinued success of the information and communication is on the programmability of these future systems. it limits further performance improvements. If we take HAEC Box. technology. However, the transistor size is reaching the for example the servers that comprise the Internet, we · HAEC-Software: Energy-adaptive computing manage- physical limits soon and it is foreseeable that the CMOS The close interrelationship between the Faculty of Comput- will see an energy consumption comparable to about ment, being a major innovation in low-energy comput- roadmap will end by then. In the DFG funded Cluster of er Science and cfaed is also reflected in the fact that 15 of the a quarter of the total annual energy consumption in ing management enabling to build and deploy highly Excellence cfaed, computer scientists, electrical engineers, Excellence Cluster’s investigators belong to the Faculty. This Germany. At the same time, we find many components energy-efficient networked applications. material scientists, physicians, chemists, and biologists includes Prof. Markus Krötzsch (Chair of Knowledge-Based of an IT system already operating at an optimal energy/ During Phase I, we already have achieved remarkable from TU Dresden, TU Chemnitz and nine non-university Systems) who was appointed by the Cluster in 2016 and performance point. progress in the area of highly adaptive energy-efficient institutes have joined forces to explore promising new thus occupied the first cfaed Open Topic Professorship. The mission of the collaborative research centre HAEC information processing, both, at the hardware as well materials and technologies, which bear the potential to is to create highly adaptive systems, which achieve as the software levels. Moreover, the HAEC-Software complement and partially replace the CMOS technology. high energy-efficiency without sacrificing performance. group already developed a very first joint demonstrator HAEC is a joint project between the Faculty of Electrical called HAECubie. In addition to selected research activities in the five mate- and Computer Engineering, the Department of Mathe- rials-inspired paths and the discovery path Biological Sys- matics and the Faculty of Computer Science of the TU tems, the Faculty of Computer Science drives the research Period: November 2012 – October 2017 Dresden. of the two system-oriented paths Resilience and Orchestra- Coordinator: Prof. Dr.-Ing. Dr. h.c. Gerhard Fettweis The main goal of HAEC is to build the so-called HAEC Period: July 2015 - June 2019 tion and is involved in the associated Collaborative Research Financing institution: Box, an integrated hardware/software system optimized Coordinator: Prof. Dr.-Ing. Dr. h.c. Gerhard Fettweis Centre HAEC (CRC 912). Resilience investigates techniques German Research Foundation (DFG) for high adaptivity and energy efficiency without com- Financing institution: for the reliable execution of applications on increasingly External cooperation partners: promising in performance. This comprises the following German Research Foundation (DFG) more erroneous hardware. The goal is to limit the overheads TU Chemnitz, nine non-university research institutions three major goals: External cooperation partners: of these techniques to the critical application parts. The mis- inter alia Max Planck Society, Helmholtz Association, · HAEC-Hardware: Energy-adaptive computing platform Globalfoundries, IBM, Amazon Web Service sion of the Orchestration Path is to prepare today‘s software Leibniz Association and Fraunhofer Society (HAEC Box), being a major innovation towards low-pow- Research topics: for the integration of novel materials and devices. It aims Research topics: er computing without compromising performance. Microelectronics, Information Technology on automatically adapting applications and their runtime Microelectronics, Information Technology · HAEC-Architecture: Energy-adaptive computing and environments to the wildly heterogeneous systems that are

38 tu-dresden.de/ing/forschung/sfb912 39 cfaed.tu-dresden.de39 5G LAB GERMANY Robert Gommlich ScaDS DRESDEN/LEIPZIG AT TU DRESDEN COMPETENCE CENTER FOR SCALABLE DATA SERVICES AND SOLUTIONS CHAIR TUD OFSoftwaretechnologie,

The upcoming fifth generation (5G) of mobile communi- One third of the 5G Lab members are from the The efficient and intelligent handling of large, often Solutions and services for the respective application cation systems will impact our life more than any other Faculty of Computer Science at TUD and contribute their distributed and heterogenous data sets increas- area are being developed by interdisciplinary groups wireless technology in the past. knowledge and research potential in the areas of Net- ingly determines the scientific and economic of researchers, who address specific scenarios. The disruptive changes are the introduction of the works and Clouds as well as Tactile Internet Applications. competitiveness. The Competence Center for Scal- Tactile Internet introducing latencies of 1ms, massive able Data Services and Solutions Dresden/Leipzig increase of security and resilience, as well as mas- (ScaDS Dresden/Leipzig) is dedicated to a holistic sive increase in throughput. It will enable tackling new development of methods for using application sce- markets such as Industry 4.0, transportation systems narios for working on huge and complex data sets including secure driving, smart grids, health care, and by using aligned computer architectures, intelligent many more disruption in markets as agriculture and data life cycle management, knowledge extraction, construction industry. visual analysis, and methods for data integration.

The new technical requirements must be carefully ex- The close cooperation of the two research sites of tracted from a deep understanding of the Tactile In- Dresden and Leipzig with multiple partners from ternet applications. New key technologies in network industry and economy focuses Saxon expertise in architecture, air interface, and cloud systems will achieve Period: Beginning September 2014 this field and connects internationally leading Big Period: October 2014 – October 2018 the requirements. This holistic 5G view is the core theme Coordinator: Prof. Dr.-Ing. Dr. h.c. Frank H. P. Fitzek Data experts. Coordinator TUD: Prof. Dr. rer. nat. Wolfgang E. Nagel of the 5G Lab Germany, which is organized in four dif- Prof. Dr.-Ing. Dr. h.c. Gerhard Fettweis Financing institution: ferent technology tracks. With more than 20 professors Financing institution: The competence centre is covering a broad range of Federal Ministry of Education and Research (BMBF) from TU Dresden, almost 600 researchers and our coop- Initiative of currently 23 professors of the TU Dresden scientific and business applications in the fields of Project partners: eration partners from industry we are well prepared for External cooperation partners: Life Sciences, Material Sciences, Environmental and Technische Universität Dresden, Universität Leipzig, the upcoming research challenges in the 5G world. Bosch, Claas, Deutsche Telekom, Ericsson, Global Found- Transport Sciences, Digital Humanities and Business Max Planck Institute of Molecular Cell Biology and ries, IDT, National Instruments, NEC, Nokia, Racyics, Data. Genetics, Leibniz Institute of Ecological Urban and Rohde&Schwarz, Telemotive, Vodafone Regional Development

40 5glab.de/ 41 scads.de 41 VISUAL ENGINEERING RICH SCENE MODEL

SELECTED PROJECTS Lucas Vogel ERC-CONSOLIDATOR-GRANT Lucas Vogel

Visual Engineering is an applied and interdisciplinary VANDA Prof. Carsten Rother, Professor of Image Processing various fields will be achieved from theoretical in- research field established at the Faculty of Computer Visual and Analytics Interfaces for and Head of Computer Vision Lab Dresden, received vestigations, e.g. in transport, robotics, graphics, Big Data Environments Science of Technische Universität Dresden. The re- an ERC Consolidator Grant from the European Re- and human-computer interaction. Jointly with the 6D Financing: EFRE-Project search addresses the rapid development of hardware Period: 01.08.2016 – 31.01.2019 search Council (ERC). The funding programme was Vision Group of Daimler AG, algorithms are devel- and software systems by establishing novel kinds Industry partners: created for excellent scientists who are research- oped to make future autonomous driving safer even of interfaces between human and computer. The Mercateo Services GmbH, Leipzig, Alfred Jacob GmbH, ing groundbreaking topics. The aim of his research under extreme weather conditions. A further field of Dresden Chemmedia AG, Chemnitz focus is on user and situation aware visualization of team is to provide a comprehensive and detailed 3D application is biology, for example in the evaluation data with the help of innovative technologies such SMART WORKBENCH presentation from only a few individual recordings of microscopic images. as gestural interaction, autostereoscopy, and gaze „Graphical assistance system for the interdisciplinary of a scene. For this, physical and semantic factors development of production-technical systems“ tracking. Visual Engineering has three main have to be taken into account: for example, which Financing: ESF Collaborative-Project objectives: theoretical foundations, prototyping, and Period: 01.10.2016 – 30.09.2020 depth and movement a pixel has or which object it teaching methodologies. Partners: 6 partners at TU Dresden, Fraunhofer IVV, is assigned to. Symate GmbH, neongrau OHG, Hydrive Engineering So far, these individual aspects were treated sepa- GmbH, Facilityport GmbH, FAD Fertigungs- und Au- rately or in a rather simple way. One of the goals of tomatisierungstechnik GmbH, Sandstein Neue Medien GmbH the funded project „Rich Scene Model“ is to work on synergy effects between these different aspects. SPEAKING MACHINE For this, a new approach in the area of „Deep „Fascination speaking machine: Technological change of speech synthesis over two centuries“ Structured Learning“ with physical rules and laws is Coordination: Jun.-Prof. Dr.-Ing. Peter Birkholz developed. Period: 01.12.2016 – 31.05.2019 Methods from the field of artificial intelligence are Contact person: Financing: Federal Ministry of Education and Research used, which consider millions of parameters and Prof. PhD Carsten Rother (BMBF) influencing factors and subsequently put them into Phone: +49 351 463-38379 Partners: 4 project partners at the TU Dresden, Dresden art collections, Royal Cabinet of Mathematical and relation to each other. This is achieved by the use of Fax: +49 351 463-38369 Physical Instruments enormous amounts of data and massive comput- E-Mail: [email protected] ing capacity. In the future, practical applications in

42 mg.inf.tu-dresden.de/forschung-technische-visualistik 42 43 cvlab-dresden.de/erc-grant43 Katrin Boes

INTERNAL AND EXTERNAL RESEARCH CENTRES

International Center for Computational Logic Biotechnology Center (BIOTEC) Center for Systems Biology Dresden

The International Center for Computational Logic The Biotechnology Center of the Technische Univer- The centre is a joint initiative of the Max Planck Insti- (ICCL) is an interdisciplinary centre of competence in sität Dresden is a unique interdisciplinary centre tute (MPI) for Molecular Cell Biology and Genetics, research and teaching in the field of Computational focusing on research and education in molecular the MPI for the Physics of Complex Systems, and the Logic, with special emphasis on algebra, logic, and bioengineering. The BIOTEC hosts top international TU Dresden. At the centre, an interdisciplinary team formal methods in computer science. research groups dedicated to genomics, proteomics, of physicists, computer scientists, mathematicians, biophysics, cellular machines, molecular genetics, and biologists develops novel theoretical and com- It is essentially run by the Artificial Intelligence tissue engineering, and bioinformatics. putational approaches to biological systems. Institute and the Institute of Theoretical Computer Starting from primary observations of spatiotemporal Science at the Faculty of Computer Science The BIOTEC has some 230 members from 35 coun- phenomena, computer models are used to under- as well as by the Institute of Algebra at the tries from Eastern and Western Europe, Asia, stand the inner workings of the system and predict Faculty of Science. Australia, and America that work in the fields of reactions to perturbations. In order to understand biology, medicine, physics, chemistry, computer the fundamentals of biological information process- ICCL coordinates the European Master‘s Program in science, and engineering. ing, the centre combines modern bioinformatics Computational Logic, one of the very few programs and automated microscopy with computer vision, of study supported by Erasmus Mundus. The BIOTEC provides excellent lab facilities and an computational science, and theoretical physics. infrastructure which enables collaboration with other companies residing in the same building.

Contact person: Contact person: Contact person: Prof. Dr. rer. nat. habil. Steffen Hölldobler Prof. Dr.-Ing. Michael Schroeder Prof. Dr. sc. techn. Ivo F. Sbalzarini Phone: +49 351 463-38340 Phone: +49 351 463-40062 Phone: +49 351 210-2525 Fax: +49 351 463-38342 Fax: +49 351 463-40038 Fax: +49 351 210-1908 E-Mail: [email protected] E-Mail: [email protected] E-Mail: [email protected]

44 computational-logic.org biotec.tu-dresden.de csbdresden.de 45 STUDYING UNDERGRADUATE COMPUTER SCIENCE DEGREE PROGRAMMES Silvia Kapplusch

Job opportunities for computer scientists are diverse Computer Science (Diplom) Media Computer Science (Bachelor) and ample. Moreover, there is a strong demand – cur- Uniquely in Germany, the Faculty of Computer Sci- Comprehensively, this study programme teaches the rently there are around 41,000 vacancies for IT experts ence offers a 5-year study programme through which scientific basics of computer science and digital media. in Germany. More and more mixed disciplines are students may obtain the degree „Diplom“. It compris- It is characterized by an interdisciplinary approach with a evolving in all areas: researchers in bioinformatics, es 300 ECTS points including a comprehensive cat- focus on applied computer science, especially multime- medical informatics, and systems biology are analyzing alogue of minor subjects, a mandatory 1-semester dia and software technology. Further topics throughout the way organisms are processing information and how internship abroad as well as involvement in research the studies include media theory and economy, pictorial cells are working. Construction informatics experts are projects at an early stage of study. The studies are at- and culture science, communication as well as psychol- developing calculation and simulation methods for tractive for young people especially mathematically- ogy. In this way, students are prepared for a wide range energy-efficient buildings. Scientific computing al- scientifically gifted and highly motivated ones. Graduates of tasks. This includes the design of multimedia applica- lows for fast and parallel processing of huge amounts are typically being employed in executive positions where tions and user interfaces, electronic publication, digital of data. Business economists are optimizing business they design, implement, and deploy complex IT systems video production, 3D graphics programming, telemedi- processes. IT automotive is designing modern security throughout various application areas. cine, or e-commerce. systems and active driving assistants in networked cars. The Faculty of Computer Science is providing an opti- Computer Science (Bachelor) mal training for a wide range of careers by providing This study programme offers profound and broad train- the necessary foundations. Also, future experts are ing in the scientific foundations of computer science. educated in Master‘s and Diplom courses of study that It includes the analysis, design and implementation of will meet the challenges of the future. data processing systems. Students gain knowledge of static structures and dynamic behavior of those systems by means of basic concepts such as algorithms, information, complexity, and efficiency. They are being empowered to satisfy specific requirements through application, adaptation as well as further and new de- velopments of methods and concepts. Courses with a Silvia Kapplusch focus on teamwork and foreign languages prepare the 46 students for their career start. 47 MASTER‘S Julia Koppenhagen ENGLISH MASTER‘S PROGRAMMES PROGRAMMES Florian Schneider

Computer Science (Master) Computational Logic (Master) courses and in their Master‘s thesis. Students will be The comprehensive range of fundamental and applied games. During their studies, students have the possi- Considering that artificial intelligence will likely be the taught highly valuable knowledge in design of software research of our Faculty is the basis for a diverse choice bility to design multimedia communication and infor- most important technology of the future, the program systems, distributed systems and in Middleware tech- of studies and provides specialist competencies for both mation systems in richly equipped special labs and to aims at teaching students profound theoretical and nologies. an academic career and a challenging research-oriented develop the required design methods as well as the practical knowledge required for professional practice All students are encouraged to spend at least one se- industrial career. relevant tools, frameworks, and product lines. Our in the field of logic-based artificial intelligence while mester abroad, either at one of our partner universities Theoretical, technical, practical, or applied com- interdisciplinary education also provides insights into developing the ability to work according to scien- or at another research or industrial institution of their puter science are potential areas of specialization – psychology, didactics, communication science, and ar- tific methods. Based on a sound background in choice. employment areas are almost unlimited: For example chitecture as well as media economics and media tech- mathematical logic, theoretical computer science and energy-efficiency, green IT and the development of nology. artificial intelligence, students learn the engineering Computational Modeling and Simulation (Master) error-free, dynamic, secure, complex systems – just to aspects of logic-based artificial intelligence or com- This interdisciplinary, international Master‘s programme name a few. The aim of this training is to educate com- Computational Science and Engineering (Master) putational logic. Integrated study periods at partner integrates courses from the areas of computational sci- petent all-rounders, who adapt flexibly to changing The Master‘s degree program CSE is an inter-universi- universities in Italy, Austria and Portugal are offered ence and data science. requirements and dispose of application expertise for ty program which is offered jointly by TU Dresden and with the objective to obtain a joint degree. Graduates will be able to model complex systems and solving problems in specific scenarios. the TU Bergakademie Freiberg. Computer science with a processes by computational data analysis, and to use focus on the high performance computing at TU Dres- Distributed Systems Engineering (Master) these models to computationally predict the behavior Media Computer Science (Master) den is the starting point of engineering in this program. The international Master‘s programme in Distributed of a system. Various application-oriented specialization The main focus of this course of study is the design of At TU Bergakademie Freiberg, the methods of comput- Systems Engineering is a new 2-year programme pre- tracks are offered, including energy systems and ener- multimedia applications and systems in research and er science and scientific computing are analyzed in the paring students for a future career in the very broad gy markets, technical systems, biological and medical development. Successful graduates of this course are exemplary application field of numerical thermofluid field of distributed systems and their practical applica- systems, mathematical models, visual computing and able to study and optimize the interaction between dynamics. tions in realistic scenarios. Therefore, the programme virtual reality. persons and computer systems in interdisciplinary Thus, specialist expertise, especially for numerical structure ensures that students first acquire the neces- The programme is jointly hosted by the Faculty of Com- teams. simulations in aviation industry, automotive indus- sary theoretical knowledge and expertise before they puter Science, the department of Mathematics, and the The application field ranges from adaptive web ap- try, process engineering, and chemical industries is will get the opportunity to apply their skills in prac- Biotechnology Centre BIOTEC. plications to learning environments up to computer generated. tice in the context of an internship, various practical

48 49 FURTHER PROGRAMMES DOCTORAL STUDIES AND HABILITATION

Computer Science Teacher Training - Middle Schools/ are acquired. During this course of study, practical ex- To continue successful academic studies after The postdoctoral lecture qualification (Habilitation) is Vocational Schools/Gymnasium (State examination) perience in the design of teaching-learning processes is graduation, the Faculty of Computer Science offers op- the highest academic degree conferred by German uni- The aim of these courses is to prepare students for the collected. portunities for doctoral studies (structured Ph.D. pro- versities. Scientists demonstrate their ability to teach requirements of their future teaching profession. For grammes) as well as postdoctoral lecture qualifications and research in the entirety of their research area. At the this, they acquire the knowledge, abilities, and skills (Habilitation). end, the university confers independent teaching and necessary for educating and teaching. University stud- Information Systems Engineering (Diplom) The doctoral studies focus on independent research and examination authorisation upon the scientist. In general, ies are complemented by the subsequent preparatory This interdisciplinary course, which is offered jointly scientific advances in the area of Computer Science. The this authorisation is subject to continuous participation service in schools. with the Faculty of Electrical and Information Sciences, Faculty consists of two graduate schools that offer qual- in the university’s curriculum as a member of the teach- combines electrical engineering and computer science. ifying research programmes. Within these programmes, ing staff. Postdoctoral lecture qualifications are only Studies combine various aspects of computer science Due to this connection, more and more functions that Ph.D. students learn from the beginning how to inde- open to scientists holding a German doctorate in one with didactics. The core areas of computer science are were previously performed solely by hardware can pendently conduct scientific research. The doctoral of our Faculty’s programs. They must have broad and taught and presented in their respective context. The now be implemented by microprocessors and software, studies conclude with the conferral of the academic successful teaching and research experience covering core areas include algorithms and data structures, thus helping to save energy, improve comfort and reli- degree ‘Dr.-Ing.’, ‘Dr. rer. nat.’, or the anglictic ‘Ph.D.’. several years. computer structures and organization, introductory as- ability, and reduce the risk of accidents. Software and pects of theoretical computer science, as well as the engineering sciences that are necessary for the develop- basics of media computer science, databases, ment of embedded systems are taught at both faculties. operating systems, and computer networks. Potential fields of specialization are software engineer- Students will be equipped with a profound knowledge ing, system-oriented computer science, distributed sys- on the foundations of computer science. Thus, they will tems architecture, and technical computer science. be able to prepare lessons didactically with solid technical foundations for the respective type of school.

The necessary competencies for the use of computer science applications, computer systems, the development of E-learning scenarios and software projects, as well as methodical skills in the field of computer science

Hydrodynamic field from: Signa in silico Authors: Stoschek/Schönfeld

50 Nils Eisfeld 51 DOCTORAL PROGRAMMES International Max Planck Research School for Cell, Developmental and Systems Biology

Information Technologies for Business Intelligence European PhD Programmes in Computational Logic The International Max Planck Research School for Doctoral College (IT4BI-DC) (EPCL) Cell, Developmental and Systems Biology (IMPRS-Cell DevoSys) is an elite doctoral programme that integ- TU Dresden is one of the five European partner univer- Jointly with three leading European universities, TU rates biology, physics, and computer science. Housed sities involved in the Erasmus Mundus Joint Doctorate Dresden has founded a doctoral training programme at three sites in Dresden, the PhD students work with in Information Technologies for Business Intelligence – that provides high-level education and research oppor- top scientists from over 50 nations to ask: How do cells Doctoral College (IT4BI-DC). The curriculum is delivered tunities in the area of “Computational Logic (CL)”. Mem- form tissues and organisms? At the forefront of the by the Faculty of Computer Science of TU Dresden in bers of this programme may choose from two paths computational track are interdisciplinary collaborations cooperation with universities in Belgium, Denmark, of education that are distinct regarding basic and and innovative research approaches to machine lear- Spain, and Poland. The programme has been designed application-oriented research. During the programme, ning, bioinformatics, visual computing, data science, to develop research excellence in data warehouses, PhDs will research at two of the three partner univer- high-performance computing, and computer simula- data mining, content analytics, business process sities and additionally at one non-European research tions. management, and visual analytics. institution or in industry. Partner institutions: · Max Planck Institute of Molecular Cell Biology and Partner universities: Partner universities: Genetics · Université Libre de Bruxelles (Belgium) · Free University of Bozen-Bolzano (Italy) · Max Planck Institute for the Physics of Complex Systems · Aalborg Universitet (Denmark) · Technische Universität Wien (Austria) · Dresden International Graduate School for Biomedicine · Universidad Politècnica de Catalunya (Spain) · Universidade Nova de Lisboa (Portugal) and Bioengineering (DIGGS-BB) · Poznan University of Tehcnology (Poland)

Contact person: Contact person: Contact person: Prof. Dr.-Ing. Wolfgang Lehner Prof. Dr. rer. nat. habil. Steffen Hölldobler Prof. Dr. sc. techn. Ivo F. Sbalzarini Phone: +49 351 463-38383 Phone: +49 351 463-38340 Phone: +49 351 210-2525 Fax: +49 351 463-38259 Fax: +49 351 463-38342 Fax: +49 351 210-1908 E-Mail: [email protected] E-Mail: [email protected] E-Mail: [email protected] Prof. I vo F. Sbalzarini

52 it4bi-dc.ulb.ac.be/ epcl-study.eu imprs-celldevosys.de 53 RESEARCH TRAINING RESEARCH TRAINING GROUP QuantLA GROUP RoSI Lucas Vogel

QuantLA - Quantitative Logics and Automata expressiveness. It is also important to represent quan- RoSI - Role-based Software Infrastructures This challenge is the core mission of the research The Research Training Group „Quantitative Logics and titative phenomena, such as duration of events or the for continuous-context-sensitive Systems training group RoSI. Scientific excellence is the aim of Automata“ has started in 2012 and is funded by the probability with which they occur.The aim of the research Modern software has to cope with ever changing con- this programme. At the same time a strong emphasis German Research Foundation (DFG) for overall 9 years training group is to investigate quantitative logics and texts that are caused by complementing new function- is laid on an individual mentoring and qualification at TU Dresden and the University of Leipzig. It offers automata, their connection, as well as their application in alities or error correction, by support of new technical programme. Therefore, advisor tandems and thesis 10 doctoral students at a time the opportunity to study verification and other areas of Computer Science in a platforms, or by changing business rules. advisory boards were introduced, seminars on quantitative logics and automata as well as their con- thorough and complete manner. extra-curricular skills complement the scientific nection on the highest scientific level and to obtain their This complex problem is the basis of the research of qualification and an international programme for visit- doctoral degree by working on a challenging topic in RoSI. Members of this research training group that is ing scientists introduces an international perspective. this area. The Research Training Group is run by 10 pro- funded by the German Research Foundation (DFG) in- Currently, 25 doctoral students, nine professors and fessors and young scientists from the areas Theoretical vestigate the implementation of roles as a universal and several junior researchers of TU Dresden are members Computer Science, Artificial Intelligence, and Algebra at consistent concept. Consistency means that roles are of the research training group. both universities. used systematically for context modeling on all levels of the modeling process. This includes concept modeling, Both logics and automata are used as modeling language modeling, and modeling on the application approaches in various areas of Computer Science and and software system level. are of importance in many application domains. One example for such an application domain is verifica- The concept of role modeling has been introduced in tion of hardware and software systems, i.e., the auto- different fields and at different times in order to mod- mated proof that the system satisfies certain require- Contact person: el context-sensitive information. Up to now, roles Contact person: ments. Using verification techniques, errors in large and Prof. Dr.-Ing. Franz Baader have mainly been used in an isolated way for context Prof. Dr.-Ing. Wolfgang Lehner complex systems with safety-critical applications can be Phone: +49 351 463-39160 modeling in programming languages, in database Phone: +49 351 / 463 38383 detected and corrected during development time. The Fax: +49 351 463-37959 modeling or to specify access control mechanisms. Fax: +49 351 / 463 38259 relevant properties of such complex systems cannot E-Mail: [email protected] Never have they been used consistently over all levels of E-Mail: [email protected] solely be represented using qualitative means of abstraction within the software development process.

54 lat.inf.tu-dresden.de/quantla/ 55 db.inf.tu-dresden.de/rosi55 LABORATORIES Lucas Vogel Katrin Boes Katrin

Interactive Display Wall RoboLab Usability Laboratory 3D Virtual Reality CAVE The Interactive Media Lab Dresden – a laboratory Research on a multitude of different robotic platforms The usability laboratory of the Chair of Human- In the Centre for Systems Biology Dresden, the Chair situated on the premises of the Chair of Multimedia is performed in the robot laboratory of the chair of Computer Interaction is an institution providing edu- of Scientific Computing for Systems Biology operates Technology – is equipped with a high-resolution in- software technology. Beside mobile robots like the cation of students from computer science and media a 3D visualization room for virtual reality. This room teractive display wall. It spans a surface of 10 square „turtlebot“ also robotic arms and their integration in computer science by teaching and supervising minor has four projection surfaces and a real-time mul- meters with 25 million pixels. For an interaction with intelligent rooms are researched on. The focus is on the theses and diploma theses as well as by research in ti-camera system. This allows immersive viewing of the 12 nearly frameless displays multitouch as well as development of self-adaptive applications in the field of the area of usability and accessibility. In this specially biological and medical 3D images. The lab is used to pens and markers (i.e. with tangibles) can be used. The cyber-physical systems. equipped laboratory, the usability of interactive sys- develop the necessary software systems, image- display wall disposes of ample space for presenting tems, accessibility of websites and different products processing methods, and novel user interfaces for inter- large information spaces and applications with multiple can be analyzed and evaluated. acting with biomedical image data. possibilities of interaction (pictures on pages 30 and 58). (picture above)

Holodeck Intelligent House Virtual Factory Within the Holodeck, researchers study the use of large The smart building laboratory of the Chair for Tech- By combining a physical factory model and a sim- displays for computer graphics and visualization of nical Information Systems hosts the research on ulation model of this factory, the Chair of Technical three dimensional scenes. The 133 inch rear projection interoperable networked components. Main objective is Information Systems is investigating new concepts wall enables stereoscopic rendering for exploration, a tool platform for knowledge based design and test of for the virtual operation of real factories and their analysis, and presentation of complex data. Research building automation, usable by experts and consumers. operating systems. The real-time ability of coupling of topics range from the study of perceptual effects over This platform connects tools from different vendors and plant models with real machine operations enables the efficient rendering approaches to interactive visual anal- will give input to international standards. automized testing of control software under real-life ysis techniques (picture above). conditions.

56 57 Lucas Vogel LATEST EQUIPMENT FOR AWARDS 2016 STARTUPS SINCE 2012

RESEARCH AND STUDIES Heinz Maier-Leibnitz-Award 2016 . Cloud&Heat Technologies Prof. Dr. rer. pol. Markus Krötzsch · StreamMine Technologies CHAIR OFMultimedia Technologie · DevBoost Innovation Award of the Industry Club Saxony · cura3D The Faculty of Computer Science is providing 190 Dr.-lng. Robert Lübke · Kernkonzept computer workstations in 10 PC-Pools as well as 30 The Faculty’s infrastructure meets the highest require- · dence virtual desktops. A broad range of software is availa- ments regarding security and availability. Moreover, SAP-Dissertation-Award · Gesellschaft für Technische Visualistik ble within the operating systems Windows and Linux. ZIH is planning to extend its HRSK-concept by adding Dr.-Ing. Christoph Seidl · 3D Interaction Technologies A comprehensive equipment with multimedia hard- special data analytics and by expanding storage · Simulics and software is complemented by special workstations capacitities according to the needs of users. This will Carl-Zeiss-Diploma-Award · SEMKNOX for video and audio cut, and virtual reality. A compre- involve nodes that are designed especially for data Dipl.-Medieninf. Julia Böhnke · Mind-Objects hensive Wireless LAN network is providing perfect analytics and it covers new technologies, for · KAPRION Technologies working conditions within the complete building and example in the field of non-volatile storage technologies Woman Award · CYFACE its adjacent green areas. and computer architectures as well as software licenses M.Sc. Luisa Herrmann for the administration of complex data infrastructures This IT-infrastructure is operated by the interdiscipli- of this size. Amazon-Award nary focussed Centre for Information Services and High M.Sc. Benjamin Worpitz Performance Computing (ZIH). The competence centre for parallel and data intensive computing is closely Devboost-Award linked to the Faculty by its research programme and it is Timo Schick integrated into the Faculty’s teaching programme by the chair of computer architecture. T-Systems Multimedia-Award Tino Noeres The High Performance Computing and Storage Complex (HRSK-II) is providing key technology for research, thus German mobility award constituting a vital element of the IT-concept and the Startup Cyface institutional strategy of TU Dresden and representing an integral part of the research landscape of Saxony. Little blue Kleeons from: Signa in silico Authors: Stoschek/Schönfeld

58 59 Silvia Kapplusch DIVERSITY COMPUTING CENTRE FOR PUPILS Creating a family friendly environment that values gen- Schülerrechenzentrum der equity and inclusion, the TU Dresden is dedicated to equal opportunities for all members of the university The task force „studies for blind and visually community. The „Schülerrechenzentrum Dresden“ wants to support basic knowledge in these areas; on the other hand, they handicapped persons“ (AG SBS) is part of the chair of pupils who are interested in computer science and elec- provide an opportunity to learn about new and di- Human-Computer Interaction under the direction of Prof. Rainer Spallek as commissioner for students with tronics and to help them develop their personal talent in verse topics like algorithms and data structure, which the Prof. Gerhard Weber and is commited in teaching and disabilities and chronic diseases and speaker of the these areas. Our extracurricular activities provide pupils can use to create 3D models, to program apps or research the field of accessibility. The workstation for „Interessengemeinschaft Studium und Behinderung“ a deeper understanding and higher level of knowledge to control robots. blind and visually impaired is open to all students of aims to support a study under optimal conditions for about certain aspects of computer science and TU Dresden with a visual impairment. The working all students. Young handicapped people will get support using electronics. Participants study and consolidate Local companies working with us enable joint projects group transcribes for these students teaching materials and consulting for overcoming the difficulties at the knowledge about methods of scientific working and with our pupils and provide them with an opportunity to and creates scripts in accessible HTML. way to and through the study. enrich their competences for studying or working in gain deeper insight into professional practice. these fields later on/after school. SRZ Dresden supports projects within schools and com- Within the research in the field of inclusion of persons Goals of the work of the equality opportunity commis- petitions between schools like Jugend forscht Contest with disabilities haptic displays were developed to im- sioner are reducing obstacles for women in academic A central focus of computer science education pro- and Sächsischer Informatikwettbewerb. prove the mobility of these persons, for example for the careers, supporting women and men with children or vided by SRZ Dresden is software development/ barrier-free guidance system of TU Dresden. The work- developing part-time academic programmes. There you programming (coding). Topics of electronics education ing group SBS offers a comprehensive consulting about will find an open ear for gender problems, support for are the functions and possible applications of electro- studies for blind and visually handicapped persons also the reconcilability of family and career and consulting nic components. On the one hand, our activities offer within peer-to-peer counseling. about the career re-start after parental leaves.

Contact person: Prof. Dr.-Ing. habil. Contact person: Prof. Dr. rer. nat. habil. Gerhard Weber Rainer Spallek Dr.-Ing. Iris Braun Dr. phil. Sven Hofmann Phone: +49 351 463-38477 +49 351 463-42022 +49 351 463-38063 Phone: +49 351 4867-2634 E-Mail: [email protected] [email protected] [email protected] E-Mail: [email protected]

60 elvis.inf.tu-dresden.de 60 61 srz.tu-dresden.de 61 Ansprechpartnerin:Contact person: Ing.Ing. SilviaSilvia KappluschKapplusch OUTPUT.DD Telefon:Phone: +49 351 463 38465 DIRECTIONS TO OUR Fax: +49 351 463 38221 E-Mail: [email protected] kapplusch@tu-dresden. de FACULTY Once a year OUTPUT.DD is showcasing the research results of the Faculty’s students and members of staff to the public. Installations, demos, workshops and project Visiting address: presentations provide perfect conditions to interactively Nöthnitzer Str. 46 perceive research results by touching, clicking, or 01187 Dresden gaming. Dean‘s Office OUTPUT.LIVE is the perfect platform for experts and Christine Leonhardi also for laypersons in order to understand latest Phone: +49 351 463 38215 research findings and creative student projects. Visitors Fax: +49 351 463 38221 can test innovative applications on modern multitouch- E-Mail: [email protected] computers. Also, interested audience can participate in interactive installations, thus merging the real and the virtual world.

OUTPUT.ACADEMIC organizes the official opening of OUTPUT.DD and the bestowal of awards to authors of H excellent theses of the Faculty of Computer Science. Moreover, it is presenting an invited talk which focusses on computer science from a different point of view.

H OUTPUT.CONTACT is an event for mutual contacts and exchange between business and academia. Regional companies are presenting their portfolio thus enhancing H communication between visitors and staff.

62 output-dd.de tu-dresden/ing/informatik.de63 Florian Schneider Publisher: Technische Universität Dresden Faculty of Computer Science Editorial office: Silvia Kapplusch Raimund Dachselt Assistance: Ulrike Schöbel Layout: Melanie Ramsch Cover picture: Lucas Vogel Printing: addprint AG Press date: August 2017 Lothar Sprenger