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

Research Topics:

Program Analysis, Verification, Rewriting, Automated Deduction
Jürgen Giesl

Current Activities


Teaching


Selected Publications


Previous Activities


Jürgen Giesl
RWTH Aachen