Barbara König (computer scientist)
Barbara König is a German computer scientist . She heads the chair for theoretical computer science at the Faculty of Engineering at the University of Duisburg-Essen .
Career
König studied from 1990 to 1995 at the Technical University of Munich and then worked there until 2003 as a research assistant at the Chair of Computer Science II . In 1999 she received her doctorate from Jürgen Eickel with a dissertation on the subject of “Description and Verification of Mobile Processes with Graph Rewriting Techniques”. From 2003 to 2006 she headed an Emmy Noether junior research group at the University of Stuttgart . On the basis of a habilitation thesis on "Analysis and verification of systems with dynamically evolving structure", she was awarded the Venia Legendi in 2005 . In 2006, she accepted a professorship at the University of Duisburg-Essen, where she has since headed the Chair for Theoretical Computer Science at the Faculty of Engineering on the Duisburg campus.
Her research focuses on verification , program analysis , parallel programming , graph replacement and Petri nets .
Awards
- Duisburg-Essen Teaching Prize 2013
- Member of AcademiaNet since May 2010 after being nominated by the German Research Foundation
Publications (selection)
- Filippo Bonchi, Fabio Gadducci, Barbara König: Synthesizing CCS bisimulation using graph rewriting . In: Information and Computation 207, 2009. pp. 14-40. doi : 10.1016 / j.ic.2008.10.005
- Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems . In: Information and Computation 206, 2008. pp. 869-907. doi : 10.1016 / j.ic.2008.04.002
- Salil Joshi, Barbara König: Applying the graph minor theorem to the verification of graph transformation systems . In: Proceedings of CAV '08 , pp. 214-226. Springer , 2008. doi : 10.1007 / 978-3-540-70545-1_21 ( limited preview )
- Cormac Flanagan, Barbara König: Tools and Algorithms for the Construction and Analysis of Systems Springer 2012 ISBN 978-3-642-28756-5 ( limited preview )
- Holger Giese, Barbara König: Graph Transformation Springer, 2014 ISBN 978-3-319-09108-2 ( limited preview )
- Joost-Pieter Katoen, Barbara König: Concurrency Theory Springer, 2011 ISBN 978-3-642-23217-6 ( limited preview )
Literature reviews
By 2017, over 150 articles in journals, books and conferences had been published, which were written by Barbara König as part of her academic work or in which she was significantly involved.
- Publications indexed in the Digital Bibliography & Library Project (DBLP)
- Publications on the academic literature search engine Google Scholar
- Publications at ResearchGate
- Literature by and about Barbara König in the bibliographic database WorldCat
Web links
- Website of Barbara König at the Chair for Theoretical Computer Science at the Faculty of Engineering at the University of Duisburg-Essen .
Individual evidence
- ↑ Barbara König: Description and Verification of Mobile Processes with Graph Rewriting Techniques . ( Dissertation ) 1999
- ↑ Barbara König: Analysis and verification of systems with dynamically evolving structure . ( Habilitation thesis ) 2005 doi : 10.18419 / opus-2555
- ^ Duisburg-Essen Teaching Prize 2013
- ^ Profile of Barbara König at AcademiaNet
- ^ Publications by and with Barbara König at the University of Duisburg-Essen
personal data | |
---|---|
SURNAME | King, Barbara |
BRIEF DESCRIPTION | German computer scientist and university professor |
DATE OF BIRTH | 20th century |