Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Humboldt-Universität zu Berlin
Institut für Informatik

Address Unter den Linden 6
10099 Berlin
Deutschland

GERiT This institution in GERiT

10099 Berlin

Projects

Research Grants
- Current projects
  - 5GEnabled Real Time Communications for "Tactile Internet" (5G-Remote)
    (Applicants Grass, Eckhard ; Kraemer, Rolf )
  - Beyond kernelization – Greater generality for efficient preprocessing
    (Applicant Kratsch, Stefan )
  - Current Challenges in Isomorphism Testing and Graph Canonization
    (Applicant Köbler, Johannes )
  - Distributed complexity of stochastic spatial coordination
    (Applicant Rybicki, Joel )
  - Dynamic Inexact High-Performance Algorithms for Network Centralities and Graph Embeddings
    (Applicant Meyerhenke, Henning )
  - EMPEROR: Learning Causes of Program Behavior
    (Applicants Grunske, Lars ; Zeller, Ph.D., Andreas )
  - IDEFIX: Identifying and Fixing Incomplete Patches
    (Applicants Beyer, Dirk ; Grunske, Lars )
  - Increasing eyewitness identification accuracy in lineups using 3D interactive virtual reality
    (Applicants Eisert, Peter ; Gaebler, Michael )
  - Learning Aggregate Queries Described by Extensions of First-order Logic on Weighted Structures
    (Applicant Schweikardt, Nicole )
  - Process Conformance under Incomplete Information
    (Applicants Grunske, Lars ; Weidlich, Matthias )
- Completed projects
  - Accelerating Matrix Computations for Mining Large Dynamic Complex Networks
    (Applicant Meyerhenke, Henning )
  - Aussagenlogische Beweiskomplexität und disjunkte NP-Paare
    (Applicant Köbler, Johannes )
  - Austauschbarkeit von Services
    (Applicant Reisig, Wolfgang )
  - Automatische Synthese von Verhaltensadaptern zwischen Services
    (Applicants Reisig, Wolfgang ; Wolf, Karsten )
  - Automatisierte, minimal-invasive Erkennung und Behebung von Fehlern in komplexen Softwaresystemen
    (Applicant Andrzejak, Artur )
  - Certifying Algorithms for Interactive Components and Distributed Systems
    (Applicant Reisig, Wolfgang )
  - Die Ausdruckskraft von Abstract State Machines
    (Applicant Reisig, Wolfgang )
  - DNA-computing
    (Applicant Reisig, Wolfgang )
  - Efficient Query answering Under UpdateS
    (Applicant Schweikardt, Nicole )
  - Failure Prediction for Critical Infrastructures
    (Applicant Malek, Miroslaw )
  - Frontiers of Tractability for Graph Isomorphism and Homomorphism Problems
    (Applicant Verbitsky, Oleg )
  - Image-Based Representation of Clothes for Realistic Virtual Try-On
    (Applicant Eisert, Peter )
  - Isomorphism and Similarity of Graphs
    (Applicant Köbler, Johannes )
  - Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen
    (Applicant Reisig, Wolfgang )
  - Konsens-Algorithmen für verteilte Systeme
    (Applicant Reisig, Wolfgang )
  - Learning Table Similarity Measures
    (Applicant Leser, Ulf )
  - Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
    (Applicant Starke, Peter H. )
  - Polynomial query complexity in algorithmic learning theory
    (Applicant Köbler, Johannes )
  - Robust Algorithm Development and Demonstration for Agile mmWave MIMO Hybrid Beamforming
    (Applicants Fettweis, Gerhard P. ; Grass, Eckhard ; Rave, Wolfgang )
  - Similarity Search for Richly Annotated Structured Patient Cases
    (Applicant Starlinger, Johannes )
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
    (Applicant Reisig, Wolfgang )
  - Theoretical foundations for efficient enumeration of query results
    (Applicant Schweikardt, Nicole )
  - Towards Exascale Application Mapping - An algorithmic framework for load balancing on non-uniform, massively parallel machines
    (Applicant Meyerhenke, Henning )
  - Untersuchung von Sicherheitsmodellen für IT-Sicherheitssysteme, die eine zuverlässige Evaluierung nach bestimmten Sicherheitskriterien erlauben.
    (Applicant Köbler, Johannes )
Priority Programmes
- Current projects
  - An Embodied AI Approach to Measures of the Self
    (Applicant Hafner, Verena V. )
  - Functional aspects of the minimal self – the case of schizophrenia
    (Applicants Kaltwasser, Laura ; Voss, Martin )
  - Information Integration in Predictive Processes: A Mechanistic Grounding of the Self
    (Applicant Ay, Nihat )
- Completed projects
Research Units
- Current projects
  - AbstractMine: Privacy-aware Abstraction of Event Data for Distributed Process Mining
    (Applicant Weidlich, Matthias )
  - Comprehensive repository of regulatory genomic features and their role in human disease
    (Applicants Leser, Ulf ; Seelow, Dominik )
  - FOR 5495: SOURCED – Process Mining on Distributed Event Sources
    (Spokesperson Koschmider, Agnes )
- Completed projects
Independent Junior Research Groups
- Completed projects
  - Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen
    (Applicant Schweikardt, Nicole )
Independent Junior Research Groups
- Completed projects
  - Efficient preprocessing for hard problems: New techniques and tight models for data reduction
    (Applicant Kratsch, Stefan )
  - Process-Awareness of Event-Driven Systems: Model, Analysis and Optimisation
    (Applicant Weidlich, Matthias )
Collaborative Research Centres
- Current projects
  - Carbon-aware Multi-Site Workflow Scheduling Under Uncertainty
    (Project Heads Kao, Odej ; Meyerhenke, Henning )
  - Central Administrative Project
    (Project Head Leser, Ulf )
  - Collaborative Design of Exploratory DAWs in Neuroimaging
    (Project Heads Deniz, Ph.D., Fatma ; Kehr, Birte ; Weidlich, Matthias )
  - Early Workflow Design: From Collaborative Scientific Problem-Solving to DAW Specifications
    (Project Heads Lamprecht, Anna-Lena ; Mendling, Jan ; Weidlich, Matthias )
  - End-to-end Energy Profiles of Data Analysis Workflows
    (Project Heads Böhm, Matthias ; Grunske, Lars ; Rabl, Tilmann )
  - Energy-Aware Optimization of DAWs in Bioinformatics
    (Project Heads Leser, Ulf ; Reinert, Knut )
  - Hardening Computational Materials-Science Workflows against Human Errors
    (Project Heads Draxl, Claudia ; Grunske, Lars ; Pavone, Pasquale )
  - Integrated Research Training Group
    (Project Heads Grunske, Lars ; Mendling, Jan ; Reinert, Knut )
  - Query-driven Validation of Distributed DAWs
    (Project Heads Schweikardt, Nicole ; Weidlich, Matthias )
  - Semantic Composition and Validation of Interacting DAWs in Computational Materials Science
    (Project Heads Grunske, Lars ; Hickel, Tilmann ; Lamprecht, Anna-Lena )
  - SFB 1404: FONDA - Foundations of Workflows for Large-Scale Scientific Data Analysis
    (Spokesperson Leser, Ulf )
  - Testbeds and Repositories
    (Project Heads Dreyer, Malte ; Kao, Odej ; Leser, Ulf )
  - Transparent Multi-Site Data Analysis Workflows for Earth Observation
    (Project Heads Hostert, Patrick ; Leser, Ulf )
  - User-Centered Design for DAW Definition Languages
    (Project Heads Grunske, Lars ; Kosch, Thomas )
- Completed projects
  - Portable and Adaptive Data Analysis Workflows for Real-Time 3D Vision
    (Project Heads Eisert, Peter ; Koch, Christoph Tobias )
CRC/Transregios
- Completed projects
  - Integrated Data Management
    (Project Head Leser, Ulf )
Research data and software
- Completed projects
  - Entwicklung und Etablierung eines Datenarchivs für die Erfassung, Systematisierung und Bereitstellung von Forschungsprimärdaten humaner Stammzellen für die regenerative Biologie und Medizin
    (Applicants Kurtz, Andreas ; Leser, Ulf )
Research Training Groups
- Current projects
  - GRK 2424: Computational Methods for Oncology: Towards Personalized Therapies in Cancer
    (Spokesperson Blüthgen, Nils )
- Completed projects
  - GRK 316: Distributed Information Systems
    (Spokesperson Günther, Ph.D., Oliver )
  - GRK 621: Stochastic Modelling and Quantitative Evaluation of Large Engineering Systems
    (Spokesperson Hommel, Günter )
  - GRK 1324: Model-based Development of Technologies for Self-organising Information Systems in Application for Disasters Management
    (Spokesperson Fischer, Joachim )
  - GRK 1651: Service-oriented Architectures for the Integration of Software-based Processes, Exemplified by Health Care Systems and Medical Technology (SOAMED)
    (Spokesperson Leser, Ulf )
  - GRK 2434: Facets of Complexity
    (Spokesperson Rote, Günter )
Graduate Schools
- Completed projects
  - GSC 1091: Berlin School of Integrative Oncology (BSIO)
    (Spokespersons Na, Il-Kang ; Schmitt, Clemens A. )
Clusters of Excellence (ExStra)
- Current projects
  - EXC 2002: Science of Intelligence (SCIoI)
    (Spokesperson Brock, Oliver )
Clusters of Excellence
- Completed projects
  - EXC 1027: Image Knowledge Gestaltung. An Interdisciplinary Laboratory
    (Spokespersons Bredekamp, Horst ; Schäffner, Wolfgang )
NFDI technical and methodological consortia
- Current projects
  - National Research Data Infrastructure for and with Computer Science
    (Spokesperson Goedicke, Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy