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
)
Lineare Typen und Session Typen für Funktionale Programme
(Antragsteller
Thiemann, Peter
)
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
)
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
)