Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik

Adresse Ernst-Reuter-Platz 7
10587 Berlin
Deutschland

GERiT Diese Institution in GERiT

10587 Berlin

Projekte

Schwerpunktprogramme
- laufende Projekte
  - Praktisches messbasiertes Quantencomputing
    (Antragstellerinnen Barz, Stefanie ; Pappa, Ph.D., Anna )
- abgeschlossene Projekte
  - Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen
    (Antragsteller Jähnichen, Stefan )
  - Generische Modellierung und Simulation hybrider Systeme mit adaptiver Modellierungstiefe
    (Antragsteller Jähnichen, Stefan )
  - Iterative Kompression zur Lösung schwieriger Netzprobleme
    (Antragsteller Niedermeier, Rolf )
  - Modellierung von Inferenzen in Mentalen Modellen
    (Antragsteller Wysotzki, Fritz )
  - Untersuchung der kausalen Beziehungen zwischen Systemzuständen und Funktionen des Primatengedächtnisses mit Hilfe von tACS Stimulation
    (Antragsteller Logothetis, Nikos K. ; Obermayer, Klaus ; Paulus, Walter )
  - Verknüpfung von metrischen und symbolischen Ebenen in autonomen Reinforcement Lernen
    (Antragsteller Obermayer, Klaus )
Emmy Noether-Gruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Aktionsplan-Informatik: Kleine Parameter in schwierigen Problemen: Entwurf, Analyse, Implementierung und Anwendung von Festparameteralgorithmen
    (Antragsteller Niedermeier, Rolf )
Sachbeihilfen
- laufende Projekte
  - Computational Social Choice: Mehrere Präferenzprofile und mehrere Lösungen
    (Antragsteller Bredereck, Robert )
  - Die Kunst der Differenzparametrisierung in der multivariaten Algorithmik
    (Antragsteller Komusiewicz, Christian )
- abgeschlossene Projekte
  - Algorithmen für Faire Allokationen (AFFA)
    (Antragsteller Bredereck, Robert )
  - Algorithm Engineering für NP-schwere Probleme: Parametrisierte Algorithmen versus etablierte Techniken
    (Antragsteller Hüffner, Falk )
  - Algorithmen zur Erzeugung quasiregulärer Strukturen in Graphen (AREG)
    (Antragsteller Niedermeier, Rolf )
  - Automatische Modellierung und Simulation von technischen Systemen mit Unsicherheit
    (Antragsteller Jähnichen, Stefan ; Mehrmann, Volker ; Nytsch-Geusen, Christoph ; Pepper, Peter )
  - Datengetriebene parametrisierte Algorithmik von Graphmodifikationsproblemen (DAPA)
    (Antragsteller Niedermeier, Rolf )
  - Datenreduktion in der parametrisierten Algorithmik: neue Modelle und Methoden (DAMM)
    (Antragsteller Niedermeier, Rolf )
  - Datenreduktion und Problemkerne
    (Antragsteller Guo, Jiong ; Niedermeier, Rolf )
  - Dynamische Schätzung von hierarchischen Vorhersagefehlern bei menschlichem Sequenzlernen
    (Antragsteller Blankenburg, Felix ; Obermayer, Klaus )
  - Effizientere Algorithmen für polynomialzeitlösbare Graphprobleme
    (Antragsteller Nichterlein, André )
  - Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
    (Antragsteller Jähnichen, Stefan )
  - Heterogeneity of the Suprachiasmatic Nucleus: Quantification, Simulation, and Functional Analysis
    (Antragsteller Bordyugov, Grigory )
  - Kern-Algorithmen zum Lernen in Feature-Räumen
    (Antragsteller Jähnichen, Stefan )
  - Konstruktion und Verifikation eingebetteter echtzeitfähiger Steuerungssoftware und ihrer Transformation in ausführbaren Code unter besonderer Berücksichtigung von Multicore und Adaptivität
    (Antragstellerinnen / Antragsteller Glesner, Sabine ; Jähnichen, Stefan )
  - Lernende Software-Agenten zur Filterung von Textdokumenten
    (Antragsteller Obermayer, Klaus )
  - Lernende Software-Agenten zur Filterung von Textdokumenten
    (Antragsteller Albayrak, Sahin ; Obermayer, Klaus )
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
    (Antragsteller Buhmann, Joachim M. )
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
    (Antragsteller Lengauer, Thomas )
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
    (Antragsteller Jähnichen, Stefan )
  - Matching mit Praeferenzen: Multimodale Sichten und eingeschraenkte Praeferenzen
    (Antragsteller Bredereck, Robert )
  - Multivariate Algorithmik temporaler Graphprobleme (MATE)
    (Antragsteller Niedermeier, Rolf )
  - Neuronale biologisch inspirierte Steuerungsachitektur für einen mobilen Roboter
    (Antragsteller Obermayer, Klaus )
  - Neuronale Mechanismen lebensnaher visueller Kategorisierungsentscheidungen
    (Antragsteller Cichy, Radoslaw Martin ; Obermayer, Klaus )
  - Optimale Kontrolle von Modellen neuronaler Populationsdynamik
    (Antragsteller Obermayer, Klaus )
  - Optimale Lösungen harter Probleme der algorithmischen Biologie
    (Antragsteller Niedermeier, Rolf )
  - Parameterized algorithmics for bioinformatics
    (Antragsteller Niedermeier, Rolf )
  - Parametrisierte Algorithmik
    (Antragsteller Niedermeier, Rolf )
  - Parametrisierte Algorithmik für Wahlsysteme (PAWS)
    (Antragsteller Niedermeier, Rolf )
  - Parametrisierte Komplexität und exakte Algorithmen
    (Antragsteller Niedermeier, Rolf )
  - Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
    (Antragsteller Pflüger, Hans-Joachim )
  - Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
    (Antragsteller Obermayer, Klaus )
  - Risiko-sensitive Entscheidungen und belohnungsabhängiges Lernen unter Unsicherheit
    (Antragsteller Obermayer, Klaus ; Ostwald, Dirk )
  - Risiko-sensitive Entscheidungsprozesse unter unvollständiger Information
    (Antragsteller Obermayer, Klaus )
  - Spezifikation und Verifikation objektorientierter Design-Patterns im Kontext nebenläufiger Objektsemantiken
    (Antragsteller Helke, Steffen )
  - Subjekt und Restitutionsphase spezifische Maximierung der motorischen Funktionen mit adaptiver transkranieller stochastischer und oszillierender Stimulation
    (Antragsteller Brandt, Stephan A. ; Obermayer, Klaus )
  - Wechselwirkungen bei parametrisierter Datenreduktion
    (Antragsteller Niedermeier, Rolf )
Forschungsgruppen
- abgeschlossene Projekte
  - FOR 2143: Synaptische Plastizität GABAerger Zellen - Vom Mechanismus zur Funktion
    (Sprecherin Bartos, Marlene )
  - Funktionelle Konsequenzen der Plastizität von inhibitorischen Interneuronen
    (Antragsteller Sprekeler, Henning )
Emmy Noether-Gruppen
- laufende Projekte
  - Informationsverarbeitung und Sicherheit für kommende Quantenkommunikationsnetzwerke
    (Antragstellerin Pappa, Ph.D., Anna )
Sonderforschungsbereiche
- laufende Projekte
  - Ein kombinierter Perturbations- und Modellierungsansatz für die Untersuchung von Hirnoszillationen, die der Konsolidierung des menschlichen Gedächtnisses zu Grunde liegen, und ihrer Wechselwirkungen während des NREM Schlafs
    (Teilprojektleiterinnen / Teilprojektleiter Flöel, Agnes ; Obermayer, Klaus ; Ritter, Petra )
  - Ein neuronales Modell für die Entwicklung von Schemas und ihre Rolle bei der systemischen Gedächtniskonsolidierung
    (Teilprojektleiter Kempter, Richard ; Lindner, Benjamin ; Sprekeler, Henning )
  - Ganzheitliche Energieprofile für Datenanalyse-Workflows
    (Teilprojektleiter Böhm, Matthias ; Grunske, Lars ; Rabl, Tilmann )
- abgeschlossene Projekte
  - Dynamik und Kontrolle von inter-arealen neuronalen Netzwerken im Gehirn
    (Teilprojektleiter Obermayer, Klaus )
  - Kontextabhängige Signalverarbeitung im visuellen System
    (Teilprojektleiter Obermayer, Klaus )
Transregios
- laufende Projekte
  - Maschinelles Lernen für Populationsdaten
    (Teilprojektleiter Binder, Harald ; Sprekeler, Henning )
  - Optimierung von inhibitorischen Schaltkreisen für die flexible Integration von Informationsquellen
    (Teilprojektleiter Sprekeler, Henning )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 120: Signalketten in lebenden Systemen
    (Sprecher Menzel, Randolf )
  - GRK 1589: Verarbeitung sensorischer Informationen in neuronalen Systemen
    (Sprecher Obermayer, Klaus )
  - GRK 2434: Facetten der Komplexität
    (Sprecher Rote, Günter )
Exzellenzcluster (ExStra)
- laufende Projekte
  - EXC 2002: Science of Intelligence (SCIoI)
    (Sprecherinnen / Sprecher Brass, Marcel ; Brock, Oliver ; Liebal, Katja )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 86: Berlin School of Mind and Brain
    (Sprecher Pauen, Michael ; Villringer, Arno )

© 2026 DFG Kontakt / Impressum / Datenschutz