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

Detailseite

Institution

Druckansicht

Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik

Adresse Georges-Köhler-Allee 106
79110 Freiburg
Deutschland

GERiT Diese Institution in GERiT

79110 Freiburg

Projekte

Sachbeihilfen
- laufende Projekte
  - Ein Framework für die Modellierung und Analyse von Clinical Guidelines
    (Antragsteller Boeker, Martin ; Podelski, Andreas )
  - Inkrementelle Entwicklung, kontinuierliche Überprüfung: Software Model Checking von temporären HAL- Schnittstellenspezifikationen für eingebettete Systeme mit Hardware-Abstraktionsschicht
    (Antragsteller Podelski, Andreas ; Sikora, Axel )
  - SUPRA: Erfüllbarkeit von Verallgemeinerungen des SAT-Problems
    (Antragsteller Scholl, Christoph )
  - Trace-basierte dynamische Analyse von nebenläufigen Programmen
    (Antragsteller Sulzmann, Ph.D., Martin ; Thiemann, Peter )
  - Verteilte Graphfärbungsalgorithmen
    (Antragsteller Kuhn, Fabian )
- abgeschlossene Projekte
  - Abstrakte Kognitive Modelle
    (Antragsteller Podelski, Andreas )
  - Algebraische Fehlerangriffe
    (Antragsteller Becker, Bernd ; Kreuzer, Martin ; Polian, Ilia )
  - Algorithmen und Datenstrukturen für ausgewählte diskrete Probleme
    (Antragsteller Ottmann, Thomas )
  - Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking
    (Antragstellerin Ábrahám, Erika )
  - CISM-Kurs "Formalware Engineering - Formal Methods for Software Engineering"
    (Antragsteller Rittinger, Frank )
  - Constraints über RDF-Graphen: Checking und semantische Ausführung von SPARQL-Anfragen.
    (Antragsteller Lausen, Georg )
  - Effiziente partikelbasierte Simulation von Flüssigkeiten mit interagierenden deformierbaren und starren Objekten
    (Antragsteller Teschner, Matthias )
  - Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information
    (Antragsteller Becker, Bernd )
  - Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce
    (Antragsteller Basin, David )
  - Graphstrukturtheorie im Übersetzerbau
    (Antragsteller Krause, Philipp Klaus )
  - Heuristische Suche und Anwendung auf die Protokollvalidation
    (Antragsteller Ottmann, Thomas )
  - Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen
    (Antragsteller Becker, Bernd )
  - Individuelles Training der Handmotorik unter Berücksichtigung geeigneter Gehirnzustände zur Verbesserung der motorischen Leistungsfähigkeit und des motorischen Lernens nach Schlaganfall
    (Antragsteller Tangermann, Michael ; Weiller, Cornelius )
  - Integration von Skripten in verlässliche Programme
    (Antragsteller Thiemann, Peter )
  - Lineare Typen und Session Typen für Funktionale Programme
    (Antragsteller Thiemann, Peter )
  - Lösen von abhängigkeitsquantifizierten Booleschen Formeln
    (Antragsteller Becker, Bernd ; Scholl, Christoph ; Wimmer, Ralf )
  - Modellierung Anfrageauswertung und Netzunterstützung für verlinkte XML-Informationsquellen im World-Wide.Web
    (Antragsteller May, Wolfgang )
  - Offline-Spezialisierung für Standard ML
    (Antragsteller Thiemann, Peter )
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
    (Antragsteller Becker, Bernd )
  - Spontane integrierte Verarbeitung heterogener Informationen im World-Wide-Web
    (Antragsteller Lausen, Georg )
  - Test und Diagnose in Nanoscale-Technologien
    (Antragsteller Becker, Bernd ; Polian, Ilia )
  - Timed Model-Checking für Time-Triggered Systemdesigns
    (Antragsteller Westphal, Bernd )
  - Typbasierte Programmanalyse für Skriptsprachen
    (Antragsteller Thiemann, Peter )
  - VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise
    (Antragsteller Drechsler, Rolf ; Große, Daniel ; Scholl, Christoph )
  - Visualisieren von Haaren aus dynamischen parametrisierbaren Frisurmodellen
    (Antragsteller Vetter, Thomas )
  - Weltbilder in der Informatik
    (Antragsteller Lausen, Georg )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Algorithmische Aspekte der Packet Routing im Internet
    (Antragsteller Ottmann, Thomas )
  - Annotation als Mittel zur Unterstützung synchroner und asynchroner Lehr-/Lernszenarien
    (Antragsteller Ottmann, Thomas )
  - Autonomes Aktives Lernen von Objektwissen mit Manipulationsrobotern
    (Antragsteller Behnke, Sven ; Burgard, Wolfram )
  - Auto-Tune: Automatische Strukturoptimierung von Lernalgorithmen auf großen Datensätzen
    (Antragsteller Brox, Thomas ; Hennig, Philipp ; Hutter, Ph.D., Frank )
  - Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen
    (Antragsteller Becker, Bernd )
  - Erzeugen multimedialer Dokumente on the fly
    (Antragsteller Ottmann, Thomas )
  - Skalierbares Autonomes Selbstverstärkendes Lernen durch Reduzierung der Vorstrukturierung
    (Antragsteller Bödecker, Joschka ; Peters, Ph.D., Jan Reinhard )
  - Type-based gradual enforcement of security policies for concurrent programs
    (Antragsteller Thiemann, Peter )
Emmy Noether-Nachwuchsgruppen
- laufende Projekte
  - Effizientes Lernen für übertragbare Roboterautonomie in menschenzentrierten Umgebungen
    (Antragsteller Valada, Abhinav )
  - Robustes Machinelles Sehen durch Neuronale Analyse-durch-Synthese mit 3D-bewussten Kompositionellen Netzwerkarchitekturen
    (Antragsteller Kortylewski, Ph.D., Adam )
- abgeschlossene Projekte
  - Fortgeschrittene Verfahren zur Automatischen Optimierung und Modellierung der Empirischen Performanz Hochparameterisierter Heuristischer Algorithmen
    (Antragsteller Hutter, Ph.D., Frank )
Forschungsstipendien
- abgeschlossene Projekte
  - Modellbasierte Konfiguration von Algorithmen zum Lösen berechnunsmäßig schwerer Probleme
    (Antragsteller Hutter, Ph.D., Frank )
Sonderforschungsbereiche
- laufende Projekte
  - Grundlagen des Few-Shot-Lernens für Bilder
    (Teilprojektleiter Brox, Thomas ; Valada, Abhinav )
  - Meta-Lernen zur Regularisierung von tiefen Netzen bei kleinen Datenmengen
    (Teilprojektleiter Grabocka, Josif ; Hutter, Ph.D., Frank )
  - Schnelles und effizientes Erlernen der Hyperparameterkontrolle für Deep Reinforcement Learning auf kleinen Datenmengen
    (Teilprojektleiterinnen / Teilprojektleiter Awad, Ph.D., Noor ; Bödecker, Joschka )
  - Transfer Learning für die Vorhersage kurzer Umweltzeitreihen mit prozess-geleiteten neuronale Netze
    (Teilprojektleiter Bödecker, Joschka ; Dormann, Carsten )
  - Transfer- und Meta-Learning in tiefen Netzen für die Analyse menschlicher Gehirnsignale
    (Teilprojektleiter Ball, Tonio ; Hutter, Ph.D., Frank )
Forschungsgroßgeräte
- abgeschlossene Projekte
  - Deep Learning Rechencluster (Teilfinanzierung)
Transregios
- laufende Projekte
  - Untersuchung der Rolle GABAerger Interneurontypen des medialen präfrontalen Kortex bei der Kontext- und Regelkodierung mittels 2P-Bildgebung und holographischer Stimulation
    (Teilprojektleiterinnen / Teilprojektleiter Bödecker, Joschka ; Diester, Ilka )
- abgeschlossene Projekte
  - Automatische Stabilitätsbeweisführung für Hybride Systeme
    (Teilprojektleiterinnen / Teilprojektleiter Fränzle, Martin ; Hermanns, Holger ; Podelski, Andreas ; Theel, Oliver ; Wolf, Verena )
  - Automatisierte Verifikation kooperierender Verkehrssysteme
    (Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Bounded Model Checking and Inductive Verification of Hybrid Systems
    (Teilprojektleiter Becker, Bernd )
  - Constraint-basierte Verfikation hybrider Systeme
    (Teilprojektleiter Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - [DextrousSpace] Räumliche Manipulation von virtuellen Objekten mit hoher Handfertigkeit
    (Teilprojektleiter Teschner, Matthias ; Zachmann, Gabriel )
  - Dynamische Kommunikationssysteme
    (Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Exakte Nichterreichbarkeitsanalyse für eingebetteten C Code durch arithmetisches Constraint Solving
    (Teilprojektleiter Becker, Bernd ; Fränzle, Martin )
  - Heuristisches Suchen und abstraktes Modell-Checking für Realzeit-Systeme
    (Teilprojektleiter Finkbeiner, Bernd ; Nebel, Bernhard ; Podelski, Andreas )
  - Kompositionelle Verifikation komplexer Systeme
    (Teilprojektleiter Becker, Bernd ; Finkbeiner, Bernd ; Nebel, Bernhard ; Scholl, Christoph )
  - [PlanSpace] Räumliches Planen
    (Teilprojektleiter Nebel, Bernhard ; Teschner, Matthias )
  - [ThreeDSpace] Dreidimensionale Kartenerstellung
    (Teilprojektleiter Burgard, Wolfram ; Teschner, Matthias )
  - Über Realzeitautomaten hinaus
    (Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Verifikation von Verlässlichkeitseigenschaften
    (Teilprojektleiterinnen / Teilprojektleiter Becker, Bernd ; Hermanns, Holger ; Theel, Oliver ; Wolf, Verena )
  - Zentrale Aufgaben des SFB/Transregio
    (Teilprojektleiter Becker, Bernd ; Damm, Werner ; Finkbeiner, Bernd )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme
    (Sprecher Seidel, Raimund )
  - GRK 806: Mathematische Logik und Anwendungen
    (Sprecher Lausen, Georg )
  - GRK 1103: Eingebettete Mikrosysteme
    (Sprecher Burgard, Wolfram )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 1086: BrainLinks-BrainTools
    (Sprecher Burgard, Wolfram )

© 2024 DFG Kontakt / Impressum / Datenschutz