Barbara König ist eine deutsche Informatikerin. Sie leitet den Lehrstuhl für Theoretische Informatik an der Fakultät für Informatik der Universität Duisburg-Essen.
Werdegang 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.Barbara König: Description and Verification of Mobile Processes with Graph Rewriting Techniques. (Dissertation) 1999 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.Barbara König: Analysis and verification of systems with dynamically evolving structure. (Habilitationsschrift) 2005 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 Informatik leitet.
Ihre Forschungsschwerpunkte liegen in den Bereichen Verifizierung, Programmanalyse, Parallele Programmierung, Graphersetzung und Petri-Netze.
Auszeichnungen Duisburg-Essener Lehrpreis 2013Duisburg-Essener Lehrpreis 2013 seit Mai 2010 Mitglied von AcademiaNet nach Nominierung durch die Deutsche ForschungsgemeinschaftProfil von Barbara König bei AcademiaNet
Publikationen (Auswahl) Filippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. In: Information and Computation 207, 2009. S. 14–40. Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. In: Information and Computation 206, 2008. S. 869–907. Salil Joshi, Barbara König: Applying the graph minor theorem to the verification of graph transformation systems. In: Proceedings of CAV '08, S. 214–226. Springer, 2008. () Cormac Flanagan, Barbara König: Tools and Algorithms for the Construction and Analysis of Systems Springer 2012, ISBN 978-3-642-28756-5 () Holger Giese, Barbara König: Graph Transformation Springer, 2014, ISBN 978-3-319-09108-2 () Joost-Pieter Katoen, Barbara König: Concurrency Theory Springer, 2011, ISBN 978-3-642-23217-6 ()
Literaturübersichten 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.Publikationen von und mit Barbara König an der Universität Duisburg-Essen Publikationen indiziert im Digital Bibliography & Library Project (DBLP) Publikationen bei der akademischen Literatursuchmaschine Google Scholar Publikationen bei ResearchGate
Weblinks Webseite von Barbara König am Lehrstuhl für Theoretische Informatik der Fakultät für Ingenieurwissenschaften der Universität Duisburg-Essen.
Einzelnachweise
Kategorie:Informatiker Kategorie:Hochschullehrer (Universität Duisburg-Essen) Kategorie:Deutscher Kategorie:Geboren im 20. Jahrhundert Kategorie:Frau