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

Detailseite

Institution

Druckansicht

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

Adresse Martensstraße 3
91058 Erlangen
Deutschland

GERiT Diese Institution in GERiT

91058 Erlangen

Projekte

Heisenberg-Stipendien
- abgeschlossene Projekte
  - Venia legendi: Informatik
    (Antragsteller Kohlhase, Michael )
Schwerpunktprogramme
- abgeschlossene Projekte
  - ALMANAC: Argumentationslogik-Manager & Argumentkontext-Graph
    (Antragsteller Kohlhase, Michael )
  - Dual-Phasen-Stähle - Von Mikro- zu Makro-Eigenschaften (EXASTEEL-2)
    (Antragsteller Balzani, Daniel ; Klawonn, Axel ; Rheinbach, Oliver ; Schröder, Jörg ; Wellein, Gerhard )
  - ESSEX II: Eigenwertlöser für dünn besetzte Matrixprobleme: Skalierbare Software für Exascale-Anwendungen II
    (Antragsteller Basermann, Achim ; Fehske, Holger ; Hager, Georg ; Lang, Bruno ; Wellein, Gerhard )
  - Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL
    (Antragsteller Herzog, Ulrich )
Sachbeihilfen
- laufende Projekte
  - Erstellung von Anforderungsspezifikationen mit Hilfe von qualitativer Datenanalyse
    (Antragsteller Riehle, Dirk )
  - Erzeugung von Anwender-geleiteten Open Source Konsortien
    (Antragsteller Riehle, Dirk )
  - Ganzheitliche Optimierung für Energiegetriebene Wissenschaftliche Visualisierung
    (Antragsteller Günther, Tobias )
  - Industrielle Erfolgsmethoden zur Integration von Microservices
    (Antragsteller Riehle, Dirk )
  - Inner-Source-Platform-Entwicklung
    (Antragsteller Riehle, Dirk )
  - Passwort-gehärtete Verschlüsselung
    (Antragsteller Schröder, Dominique )
- abgeschlossene Projekte
  - Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
    (Antragsteller Herzog, Ulrich )
  - Domänenmodellierung Mittels Qualitativer Datenanalyse
    (Antragsteller Riehle, Dirk )
  - Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen
    (Antragsteller Herzog, Ulrich )
  - Entwicklung und Anwendung eines fundierten Rahmenwerkes für Sicherheit in Sensornetzen
    (Antragstellerinnen / Antragsteller Armknecht, Frederik ; Benenson, Zinaida )
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
    (Antragsteller Hutter, Dieter ; Kohlhase, Michael )
  - Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung
    (Antragsteller Kohlhase, Michael ; Mossakowski, Till )
  - Erfolgsmethoden zum Management von Open-Source-Gemeinden
    (Antragsteller Riehle, Dirk )
  - Formal Methods and Semantic Technologies for Engineering Design Processes
    (Antragsteller Kohlhase, Michael ; Schröder, Lutz )
  - Gleichheitsbeweisen höherer Stufe
    (Antragsteller Siekmann, Jörg H. )
  - Management-Accounting für Inner Source
    (Antragsteller Riehle, Dirk )
  - OAF: Ein Offenes Archiv für Formalisierungen
    (Antragsteller Kohlhase, Michael ; Rabe, Florian )
  - Ontology-Driven Management of Change
    (Antragsteller Hutter, Dieter ; Kohlhase, Michael )
  - Prozessorientierte Dienststruktur für Performance Engineering von wissenschaftlicher Software an deutschen HPC-Zentren
    (Antragsteller Müller, Matthias S. ; Nagel, Wolfgang E. ; Wellein, Gerhard )
  - Skalenübergreifende Modellierung - von der Quanten- zur Kontinuumsmechanik. Ein Finite-Elemente Ansatz.
    (Antragsteller Davydov, Ph.D., Denis )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - 3-D-Akquisition komplexer Hohlräume mit flexiblen Endoskopen
    (Teilprojektleiter Gerhäuser, Heinz ; Häusler, Gerd ; Wittenberg, Thomas )
  - AGINT: Ressourcenadaptive kognitive Agenten in zwei Szenarien
    (Teilprojektleiter Jameson, Anthony ; Kohlhase, Michael ; Tack, Werner H. )
  - Automatische multi-dimensionale Bildanalyse für die Fluoreszenzmikroskopie
    (Teilprojektleiter Wittenberg, Thomas )
  - OMEGA, ein mathematisches Assistenzsystem
    (Teilprojektleiterinnen / Teilprojektleiter Kohlhase, Michael ; Melis, Erica ; Siekmann, Jörg H. )
  - Privacyfreundliches Speichern in der Cloud
    (Teilprojektleiter Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )
Transregios
- laufende Projekte
  - Datenmanagement, Bioinformatik und Imaging-Plattform
    (Teilprojektleiterinnen / Teilprojektleiter Bäuerle, Tobias ; Ferrazzi, Fulvia ; Spang, Rainer ; Wittenberg, Thomas )
Graduiertenkollegs
- laufende Projekte
  - GRK 2475: Cyberkriminalität und Forensische Informatik
    (Sprecher Freiling, Felix )
- abgeschlossene Projekte
  - GRK 633: Interdisziplinärer Entwurf verlässlicher Multitechnologie-Systeme
    (Sprecher Dal Cin, Mario )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - MaRDI - Mathematische Forschungsdateninitiative
    (Sprecher Hintermüller, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz