Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Prof. Dr. Jürgen Giesl


Address:

Lehr- und Forschungsgebiet Informatik 2
Fachgruppe Informatik
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany


Office:

Room 4212, 2nd floor, Building E1 (Erweiterungsbau 1), Ahornstr. 55


Phone:

+49 241 80-21230


Fax:

+49 241 80-22217


Email:



Web:

http://verify.rwth-aachen.de/giesl

Jürgen Giesl

Current activities:

  • Keynote Speaker of the International Colloquium on Implementation of Constraint and Logic Programming Systems and the Workshop on Logic-based methods in Programming Environments (CICLOPS/WLPE 2014), Vienna, Austria, 2014
  • PC-Member of the 7th International Joint Conference on Automated Reasoning (IJCAR '14), Vienna, Austria, 2014
  • PC-Member of the 14th International Workshop on Termination (WST '14), Vienna, Austria, 2014
  • PC-Member of the Joint Automated Reasoning Workshop and Deduktionstreffen 2014 (ARW-DT '14), Vienna, Austria, 2014
  • PC-Member of the 8th International Conference on Language and Automata Theory and Applications (LATA '14), Madrid, Spain, 2014
  • PC-Member of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '14)
  • Member of the Scientific Advisory Board of the Max-Planck-Institut Informatik, Saarbrücken, Germany
  • Chair of the IFIP Working Group 1.6 on Term Rewriting
  • Member of the Steering Committee of the Annual International Termination Competition
  • Member of the Editorial Board of the ACM Transactions on Computational Logic (Area Editor for Automated Reasoning, Term Rewriting, Program Verification)

  • Teaching:


    Research Topics:

    Program Analysis, Verification, Rewriting, Automated Deduction


    Selected Publications:


    Previous activities:


    Jürgen Giesl
    RWTH Aachen