Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik

Address Martensstraße 3
91058 Erlangen
Deutschland

GERiT This institution in GERiT

91058 Erlangen

Projects

Heisenberg Fellowships
- Completed projects
  - Venia legendi: Informatik
    (Applicant Kohlhase, Michael )
Priority Programmes
- Completed projects
  - ALMANAC: Argumentation Logics Manager & Argument Context Graph
    (Applicant Kohlhase, Michael )
  - Dual-Phase Steels - From Micro to Macro Properties (EXASTEEL-2)
    (Applicants Balzani, Daniel ; Klawonn, Axel ; Rheinbach, Oliver ; Schröder, Jörg ; Wellein, Gerhard )
  - ESSEX II: Equipping Sparse Solvers for Exascale II
    (Applicants Basermann, Achim ; Fehske, Holger ; Hager, Georg ; Lang, Bruno ; Wellein, Gerhard )
  - Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL
    (Applicant Herzog, Ulrich )
Research Grants
- Current projects
  - Creating User-Led Open-Source Consortia
    (Applicant Riehle, Dirk )
  - End-to-End Optimization for Energy-Driven Scientific Visualization
    (Applicant Günther, Tobias )
  - Industry Best Practices for Microservice Integration
    (Applicant Riehle, Dirk )
  - Inner source platform development
    (Applicant Riehle, Dirk )
  - Password-hardened Encryption
    (Applicant Schröder, Dominique )
  - Requirements Specification using Qualitative Data Analysis
    (Applicant Riehle, Dirk )
- Completed projects
  - Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
    (Applicant Herzog, Ulrich )
  - Best Practices for Managing Open Source Communities
    (Applicant Riehle, Dirk )
  - Bridging scales - from Quantum Mechanics to Continuum Mechanics. A Finite Element approach.
    (Applicant Davydov, Ph.D., Denis )
  - Developing and Applying a Sound Security Framework for Sensor Networks
    (Applicants Armknecht, Frederik ; Benenson, Zinaida )
  - Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics and software engineering
    (Applicants Kohlhase, Michael ; Mossakowski, Till )
  - Domain Modeling Using Qualitative Data Analysis
    (Applicant Riehle, Dirk )
  - Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen
    (Applicant Herzog, Ulrich )
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
    (Applicants Hutter, Dieter ; Kohlhase, Michael )
  - Formal Methods and Semantic Technologies for Engineering Design Processes
    (Applicants Kohlhase, Michael ; Schröder, Lutz )
  - Gleichheitsbeweisen höherer Stufe
    (Applicant Siekmann, Jörg H. )
  - Management Accounting for Inner Source
    (Applicant Riehle, Dirk )
  - OAF: An Open Archive of Formalizations
    (Applicants Kohlhase, Michael ; Rabe, Florian )
  - Ontology-Driven Management of Change
    (Applicants Hutter, Dieter ; Kohlhase, Michael )
  - Process-Oriented Performance Engineering Service Infrastructure for Scientific Software at German HPC Centers
    (Applicants Müller, Matthias S. ; Nagel, Wolfgang E. ; Wellein, Gerhard )
Collaborative Research Centres
- Completed projects
  - 3-D-Akquisition komplexer Hohlräume mit flexiblen Endoskopen
    (Project Heads Gerhäuser, Heinz ; Häusler, Gerd ; Wittenberg, Thomas )
  - AGINT: Ressourcenadaptive kognitive Agenten in zwei Szenarien
    (Project Heads Jameson, Anthony ; Kohlhase, Michael ; Tack, Werner H. )
  - Automated multi-dimensional, high-content image-analysis for fluorescence-microscopy
    (Project Head Wittenberg, Thomas )
  - OMEGA, ein mathematisches Assistenzsystem
    (Project Heads Kohlhase, Michael ; Melis, Erica ; Siekmann, Jörg H. )
  - Privacy-Preserving Cloud Storage
    (Project Heads Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )
CRC/Transregios
- Current projects
  - Data management, Bioinformatics and Imaging Platform
    (Project Heads Bäuerle, Tobias ; Ferrazzi, Fulvia ; Spang, Rainer ; Wittenberg, Thomas )
Research Training Groups
- Current projects
  - GRK 2475: Cybercrime and Forensic Computing
    (Spokesperson Freiling, Felix )
- Completed projects
  - GRK 633: Interdisciplinary Design of Dependable Multi-Technology Systems
    (Spokesperson Dal Cin, Mario )
NFDI technical and methodological consortia
- Current projects
  - MaRDI - Mathematical Research Data Initiative
    (Spokesperson Hintermüller, Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy