Universität Duisburg-Essen

Lehrstuhl Theoretische Informatik

Fakultät für Informatik

  • Orientierung
  • Suchen
  • DE
    • English
  • Studieren an der UDE
  • Lehrstuhl
  • Lehre
    Lehre
    • Berechenbarkeit und Komplexität
    • Formale Aspekte der Software-Sicherheit und Kryptographie
    • Logik
    • Seminar "Spiele in der Informatik"
    • Alle Lehrveranstaltungen
  • Forschung
  • Mitarbeiter
    Mitarbeiter
    • Lehrstuhlinhaberin
      • Prof. Dr. Barbara König
    • Wissenschaftliche Mitarbeiter
      • Rebecca Bernemann
      • Richard Eggert
      • Sebastian Gurke
      • Frédéric de Longueville
      • Karla Messing
      • Lara Stoltenow
      • Florian Wittbold
    • Sekretariat
      • Martina Bick
      • Doris Heise
      • Bärbel Schmitz
    • Systemadministration
      • Marvin Hoffmann
  • Kontakt

Forschung

  1. Lehrstuhl Theoretische Informatik

Workshops

  • D-CON 2020 (12.-13.03.2020)

Projekte

  • Spectra of Behavioural Distances and Quantitative Logics (SpeQt)
    DFG-Projekt, seit 2020
  • User-Centred Social Media (UCSM)
    DFG research training group, 2015-2021
  • Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
    DFG-Projekt, seit 2014
  • Graphs, Recognizability and Verification (GaReV)
    DFG-Projekt, 2010-2016
  • Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT)
    DFG-Projekt, 2008-2013
  • Static Analysis of Dynamically Evolving Systems (SANDS)
    DFG-Projekt, 2004-2010

Veröffentlichungen

Publikationsliste bei der Universitätsbibliothek

Werkzeuge

  • Augur 2
  • DrAGoM
  • Grez
  • PAWS
  • Raven
  • T-BEG
  • Uncover
  • WikiMainPath
  • Infoline
  • Hilfe im Notfall
  • Impressum
  • © UDE
  • Letzte Änderung: 03.08.2020