Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Prof. Dr. Jürgen Giesl


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


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


+49 241 80-21230


+49 241 80-22217




Jürgen Giesl

Current activities:

  • PC-Member of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '17), Maun, Botswana, 2017
  • PC-Member of the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD '17), Oxford, UK, 2017
  • PC-Member of the 11th International Symposium on Frontiers of Combining Systems (FroCoS '17), Brasilia, Brazil, 2017
  • PC-Member of the 1st International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, Gothenburg, Sweden, 2017
  • Member of the Board of Trustees of the International Conference on Automated Deduction (CADE), 2010 - 2011 and again since 2014
  • Vice-Chair of the Scientific Advisory Board of the Max-Planck-Institut Informatik, Saarbrücken, Germany
  • Member of the Committee for German-Israeli Project Cooperation of the German Science Foundation
  • Member 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