Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Address
Georges-Köhler-Allee 106
79110 Freiburg
Deutschland
GERiT
This institution in GERiT
79110 Freiburg
Projects
Research Grants
Current projects
A Modeling and Analysis Framework for Clinical Guidelines
(Applicants
Boeker, Martin
;
Podelski, Andreas
)
Distributed Graph Coloring Algorithms
(Applicant
Kuhn, Fabian
)
Incremental Development, Incremental Checking: Software Model Checking of Temporal HAL Interface Specifications for Embedded Systems with a Hardware Abstraction Layer
(Applicants
Podelski, Andreas
;
Sikora, Axel
)
LaST-FP: Linear Types and Session Types for Functional Programming/Linearity and Order for Typestate and Session Types
(Applicant
Thiemann, Peter
)
SUPRA: Satisfiability UPon GeneRAlization beyond SAT
(Applicant
Scholl, Christoph
)
Trace-based analysis of concurrent programs
(Applicants
Sulzmann, Ph.D., Martin
;
Thiemann, Peter
)
Completed projects
Abstract Cognitive Models
(Applicant
Podelski, Andreas
)
Algebraic Fault Attacks
(Applicants
Becker, Bernd
;
Kreuzer, Martin
;
Polian, Ilia
)
Algorithmen und Datenstrukturen für ausgewählte diskrete Probleme
(Applicant
Ottmann, Thomas
)
CISM-Kurs "Formalware Engineering - Formal Methods for Software Engineering"
(Applicant
Rittinger, Frank
)
Constraints über RDF-Graphen: Checking und semantische Ausführung von SPARQL-Anfragen.
(Applicant
Lausen, Georg
)
Counterexample generation for stochastic systems using Bounded Model Checking
(Applicant
Ábrahám, Erika
)
Effiziente partikelbasierte Simulation von Flüssigkeiten mit interagierenden deformierbaren und starren Objekten
(Applicant
Teschner, Matthias
)
Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information
(Applicant
Becker, Bernd
)
Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce
(Applicant
Basin, David
)
Graph Structure Theory in Compiler Construction
(Applicant
Krause, Philipp Klaus
)
Heuristische Suche und Anwendung auf die Protokollvalidation
(Applicant
Ottmann, Thomas
)
Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen
(Applicant
Becker, Bernd
)
Individualized hand motor training under suitable brain states to improve performance and learning after stroke
(Applicants
Tangermann, Michael
;
Weiller, Cornelius
)
Integration of Scripts in Reliable Programs
(Applicant
Thiemann, Peter
)
Modellierung Anfrageauswertung und Netzunterstützung für verlinkte XML-Informationsquellen im World-Wide.Web
(Applicant
May, Wolfgang
)
Offline-Spezialisierung für Standard ML
(Applicant
Thiemann, Peter
)
Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
(Applicant
Becker, Bernd
)
Solving Dependency Quantified Boolean Formulas
(Applicants
Becker, Bernd
;
Scholl, Christoph
;
Wimmer, Ralf
)
Spontane integrierte Verarbeitung heterogener Informationen im World-Wide-Web
(Applicant
Lausen, Georg
)
Test und Diagnose in Nanoscale-Technologien
(Applicants
Becker, Bernd
;
Polian, Ilia
)
Timed Model-Checking for Time-Triggered System Designs
(Applicant
Westphal, Bernd
)
Typbasierte Programmanalyse für Skriptsprachen
(Applicant
Thiemann, Peter
)
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
(Applicants
Drechsler, Rolf
;
Große, Daniel
;
Scholl, Christoph
)
Visualisieren von Haaren aus dynamischen parametrisierbaren Frisurmodellen
(Applicant
Vetter, Thomas
)
Weltbilder in der Informatik
(Applicant
Lausen, Georg
)
Priority Programmes
Completed projects
Algorithmische Aspekte der Packet Routing im Internet
(Applicant
Ottmann, Thomas
)
Annotation als Mittel zur Unterstützung synchroner und asynchroner Lehr-/Lernszenarien
(Applicant
Ottmann, Thomas
)
Autonomous Active Object Learning Through Robot Manipulation
(Applicants
Behnke, Sven
;
Burgard, Wolfram
)
Auto-Tune: Structural Optimization of Machine Learning Frameworks for Large Datasets
(Applicants
Brox, Thomas
;
Hennig, Philipp
;
Hutter, Ph.D., Frank
)
Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen
(Applicant
Becker, Bernd
)
Erzeugen multimedialer Dokumente on the fly
(Applicant
Ottmann, Thomas
)
Scalable Autonomous Reinforcement Learning - From scratch to less and less structure
(Applicants
Bödecker, Joschka
;
Peters, Ph.D., Jan Reinhard
)
Type-based gradual enforcement of security policies for concurrent programs
(Applicant
Thiemann, Peter
)
Emmy Noether Independent Junior Research Groups
Current projects
Efficient Learning for Transferable Robot Autonomy in Human-Centered Environments
(Applicant
Valada, Abhinav
)
Robust Computer Vision through Neural Analysis-by-Synthesis with 3D-aware Compositional Network Architectures
(Applicant
Kortylewski, Ph.D., Adam
)
Completed projects
Advanced Methods for Automated Optimization and Modeling of the Empirical Performance of Highly Parameterized Heuristic Algorithms
(Applicant
Hutter, Ph.D., Frank
)
Research Fellowships
Completed projects
Model-based Configuration of Algorithms for Solving Hard Computational Problems
(Applicant
Hutter, Ph.D., Frank
)
Collaborative Research Centres
Current projects
Essentials for few-shot learning on images
(Project Heads
Brox, Thomas
;
Valada, Abhinav
)
Learning fast and efficient hyperparameter control for deep reinforcement learning on small datasets
(Project Heads
Awad, Ph.D., Noor
;
Bödecker, Joschka
)
Meta-learning for regularizing deep networks under small data regimes
(Project Heads
Grabocka, Josif
;
Hutter, Ph.D., Frank
)
Transfer- and meta-learning in deep networks for human brain-signal analysis
(Project Heads
Ball, Tonio
;
Hutter, Ph.D., Frank
)
Transfer learning for forecasting short environmental time series using process- guided neural networks
(Project Heads
Bödecker, Joschka
;
Dormann, Carsten
)
Major Research Instrumentation
Completed projects
Deep Learning Compute Cluster (partial financing)
CRC/Transregios
Current projects
Role of medial prefrontal cortex GABAergic interneuron types in context and rule encoding investigated with 2P-imaging and holographic stimulation
(Project Heads
Bödecker, Joschka
;
Diester, Ilka
)
Completed projects
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe)
(Project Heads
Becker, Bernd
;
Fränzle, Martin
)
Automated Verification of Cooperating Traffic Agents
(Project Heads
Althaus, Ernst
;
Damm, Werner
;
Olderog, Ernst-Rüdiger
;
Scholl, Christoph
;
Sofronie-Stokkermans, Viorica
;
Waldmann, Uwe
)
Automatic Verification of Hybrid System Stability
(Project Heads
Fränzle, Martin
;
Hermanns, Holger
;
Podelski, Andreas
;
Theel, Oliver
;
Wolf, Verena
)
Beyond Timed Automata
(Project Heads
Finkbeiner, Bernd
;
Fränzle, Martin
;
Olderog, Ernst-Rüdiger
;
Podelski, Andreas
;
Sofronie-Stokkermans, Viorica
)
Bounded Model Checking and Inductive Verification of Hybrid Systems
(Project Head
Becker, Bernd
)
Central Tasks
(Project Heads
Becker, Bernd
;
Damm, Werner
;
Finkbeiner, Bernd
)
Compositional Approaches to System Verification
(Project Heads
Becker, Bernd
;
Finkbeiner, Bernd
;
Nebel, Bernhard
;
Scholl, Christoph
)
Constaint-based Verification for Hybrid Systems
(Project Heads
Althaus, Ernst
;
Becker, Bernd
;
Fränzle, Martin
;
Weidenbach, Christoph
)
[DextrousSpace] Dexterous Spatial Interactive Manipulation of Virtual Objects
(Project Heads
Teschner, Matthias
;
Zachmann, Gabriel
)
Dynamic Communication Systems
(Project Heads
Damm, Werner
;
Finkbeiner, Bernd
;
Hermanns, Holger
;
Podelski, Andreas
;
Weidenbach, Christoph
)
Heuristic Search and Abstract Model Checking
(Project Heads
Finkbeiner, Bernd
;
Nebel, Bernhard
;
Podelski, Andreas
)
[PlanSpace] Spatial Planning
(Project Heads
Nebel, Bernhard
;
Teschner, Matthias
)
[ThreeDSpace] Three-Dimensional Map Construction
(Project Heads
Burgard, Wolfram
;
Teschner, Matthias
)
Verification of Dependability Properties
(Project Heads
Becker, Bernd
;
Hermanns, Holger
;
Theel, Oliver
;
Wolf, Verena
)
Research Training Groups
Completed projects
GRK 623: Quality Guarantees for Computer Systems
(Spokesperson
Seidel, Raimund
)
GRK 806: Mathematical logic and applications
(Spokesperson
Lausen, Georg
)
GRK 1103: Embedded Microsystems
(Spokesperson
Burgard, Wolfram
)
Clusters of Excellence
Completed projects
EXC 1086: BrainLinks-BrainTools
(Spokesperson
Burgard, Wolfram
)