Barbara König (Informatikerin)

Hochschullehrerin

Barbara König ist eine deutsche Informatikerin. Sie leitet den Lehrstuhl für Theoretische Informatik an der Fakultät für Ingenieurwissenschaften der Universität Duisburg-Essen.

Werdegang

Bearbeiten

König studierte von 1990 bis 1995 an der Technischen Universität München und war dort anschließend bis 2003 als wissenschaftliche Mitarbeiterin am Lehrstuhl für Informatik II tätig. 1999 wurde sie bei Jürgen Eickel mit einer Dissertation zum Thema „Description and Verification of Mobile Processes with Graph Rewriting Techniques“ promoviert.[1] Von 2003 bis 2006 leitete sie eine Emmy Noether Nachwuchsforschungsgruppe an der Universität Stuttgart. Auf Grund einer Habilitationsschrift zu „Analysis and verification of systems with dynamically evolving structure“ wurde ihr dort 2005 die Venia Legendi erteilt.[2] 2006 folgte sie dem Ruf auf eine Professur an der Universität Duisburg-Essen, wo sie am Campus Duisburg seither den Lehrstuhl für Theoretische Informatik an der Fakultät für Ingenieurwissenschaften leitet.

Ihre Forschungsschwerpunkte liegen in den Bereichen Verifizierung, Programmanalyse, Parallele Programmierung, Graphersetzung und Petri-Netze.

Auszeichnungen

Bearbeiten

Publikationen (Auswahl)

Bearbeiten

Literaturübersichten

Bearbeiten

Bis 2017 wurden über 150 Zeitschriften-, Buch- und Konferenzbeiträge veröffentlicht, die von Barbara König im Rahmen ihrer wissenschaftlichen Tätigkeit verfasst wurden bzw. an denen sie wesentlich beteiligt war.[5]

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Barbara König: Description and Verification of Mobile Processes with Graph Rewriting Techniques. (Dissertation) 1999
  2. Barbara König: Analysis and verification of systems with dynamically evolving structure. (Habilitationsschrift) 2005 doi:10.18419/opus-2555
  3. Duisburg-Essener Lehrpreis 2013
  4. Profil von Barbara König bei AcademiaNet
  5. Publikationen von und mit Barbara König an der Universität Duisburg-Essen