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

Detailseite

Institution

Druckansicht

Universität Duisburg-Essen
Fakultät für Ingenieurwissenschaften
Lehrstuhl Theoretische Informatik

Adresse Lotharstraße 65
47057 Duisburg
Deutschland

GERiT Diese Institution in GERiT

47057 Duisburg

Projekte

Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Static Analysis for Dynamically Evolving Systems
    (Antragstellerin König, Barbara )
Sachbeihilfen
- laufende Projekte
  - Spektren von Verhaltensdistanzen und quantitativen Logiken
    (Antragstellerinnen / Antragsteller König, Barbara ; Schröder, Lutz )
- abgeschlossene Projekte
  - Ableitung von Programmeigenschaften aus polymorphen Typen in funktional-logischen Sprachen
    (Antragsteller Voigtländer, Janis )
  - Automatische Bidirektionalisierung durch programmiersprachliche Techniken
    (Antragsteller Voigtländer, Janis )
  - Graphen, Erkennbarkeit und Verifikation (GaReV)
    (Antragstellerin König, Barbara )
  - Verhaltensäquivalenzen: Umgebungsaspekte, Metriken und generische Algorithmen
    (Antragstellerin König, Barbara )
  - Verhaltens-Simulation und Äquivalenz von Systemen modelliert durch Graphtransformation
    (Antragstellerinnen / Antragsteller Ehrig, Hartmut ; König, Barbara )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 2167: Nutzerzentrierte Soziale Medien
    (Sprecher Fuhr, Norbert )

© 2024 DFG Kontakt / Impressum / Datenschutz