Detailseite
Person
Professorin Dr. Barbara König
Adresse
Universität Duisburg-Essen
Fakultät für Ingenieurwissenschaften
Lehrstuhl Theoretische Informatik
Lotharstraße 65
47057 Duisburg
-
Als Antragstellerin
-
laufende Projekte
-
Spektren von Verhaltensdistanzen und quantitativen Logiken (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Static Analysis for Dynamically Evolving Systems (Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik))
-
Graphen, Erkennbarkeit und Verifikation (GaReV) (Sachbeihilfen)
-
-
laufende Projekte
-
Als beteiligte Wissenschaftlerin
-
abgeschlossene Projekte
-
GRK 2167: Nutzerzentrierte Soziale Medien (Graduiertenkollegs)
-
-
abgeschlossene Projekte
