Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group


Barbara König

I have moved to the University of Duisburg-Essen. Please have a look also at my new homepage.

Barbara Koenig

Dr. Barbara König
Abteilung Sichere und Zuverlässige Softwaresysteme
    (Software reliability and security group)
Institut für Formale Methoden der Informatik
Universität Stuttgart
Universitätsstr. 38
70569 Stuttgart

Room Number: 1.336
Phone: ++49-711-7816-458
Fax: ++49-711-7816-462

Research Interests: Graph Rewriting, Static Analysis and Verification of Concurrent Systems, Type Systems, Mobile Processes, Transformation Semigroups and Syntactic Monoids


Events/Professional Activities
Projects See also the other projects of our group.
Informationen für Studierende