Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Prof. Dr. Jürgen Giesl

LuFG


Jürgen Giesl

Current Activities


Teaching


Selected Publications


Previous Activities


  • Address/Office:

    Room 4212, 2nd Floor
    Building E1
    (Erweiterungsbau 1)

    LuFGI 2
    Fachgruppe Informatik
    RWTH Aachen
    Ahornstr. 55
    52074 Aachen
    Germany
  • Contact:

    Phone: +49 241 80-21230
    Fax: +49 241 80-22217
    Email:
  • Research Topics:

    Program Analysis, Verification, Rewriting, Automated Deduction