Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik

Address Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT This institution in GERiT

76131 Karlsruhe

Projects

Research Grants
- Current projects
  - Approximating partition functions on geometric spaces
    (Applicant Göbel, Andreas )
  - Cliques in hyperbolic and weighted geometric graphs
    (Applicant Bläsius, Thomas )
  - Covering Numbers in Theory and Practice
    (Applicant Ueckerdt, Torsten )
  - KeY - A Deductive Software Analysis Tool for the Research Community
    (Applicants Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias )
  - Lost in Tree Space (LiTS)
    (Applicant Stamatakis, Alexandros )
  - Product Structure of Graphs
    (Applicant Ueckerdt, Torsten )
- Completed projects
  - Algorithm Engineering für Routenplanung
    (Applicants Sanders, Peter ; Wagner, Dorothea )
  - Algorithms for Interaction in Graph Drawing
    (Applicant Wagner, Dorothea )
  - Compressed Suffix Trees: Design, Construction, and Applications
    (Applicant Ohlebusch, Enno )
  - Computational and mathematical approaches for statistical sequence alignment and phylogenetic inference on emerging parallel architectures
    (Applicants Metzler, Dirk ; Stamatakis, Alexandros )
  - Engineering Algorithms for Partitioning Large Graphs
    (Applicants Sanders, Peter ; Schulz, Christian ; Wagner, Dorothea )
  - Exakte Algorithmen zur Auswertung großer, schwach strukturierter Datenmengen für ein Fahrplanauskunftsystem
    (Applicant Wagner, Dorothea )
  - Integrated development of committees of neural networks
    (Applicant Menzel, Wolfram )
  - Reinforcement learning on different time scales
    (Applicant Menzel, Wolfram )
  - Scalable Algorithms for Reconstruction of Plant Phylogenies in Conjunction with the NSF (National Science Foundation) iPlant Collaborative
    (Applicant Stamatakis, Alexandros )
  - Scale-Free Satisfiability
    (Applicant Friedrich, Ph.D., Tobias )
  - The Hyperbolic Geometry of Networks
    (Applicant Friedrich, Ph.D., Tobias )
Priority Programmes
- Completed projects
Independent Junior Research Groups
- Current projects
  - Structural Complexity Theory for Big Data – From Classification Theorems to Algorithm Engineering
    (Applicant Künnemann, Marvin )
- Completed projects
  - Models, Algorithms, and High Performance Computing for Phylogenetic Inference: Towards Simultaneous Alignment and Tree Building with Maximum Likelihood
    (Applicant Stamatakis, Alexandros )
Research Units
- Completed projects
  - Algorithm Engineering for integrated multimodal route planning
    (Applicant Wagner, Dorothea )
  - FOR 2083: Integrated Planning for Public Transportation
    (Spokesperson Schöbel, Anita )
Collaborative Research Centres
- Current projects
  - Complexity of Consistency
    (Project Heads Atkinson, Colin ; Burger, Erik ; Ulbrich, Mattias )
  - Recovery from Temporary Inconsistency
    (Project Heads Koziolek, Anne ; Ulbrich, Mattias )
Research Training Groups
- Current projects
  - GRK 2153: Energy Status Data - Informatics Methods for its Collextion, Analysis and Exploitation
    (Spokesperson Böhm, Klemens )
- Completed projects
  - GRK 1194: Self-organising Sensor-Actuator-Networks
    (Spokesperson Hanebeck, Uwe D. )

© 2024 DFG Disclaimer / Copyright / Privacy Policy